I detta dokument utvidgar vi teorin CCS för träd (CCTS) till värdepasserande CCTS (VCCTS), vars symboler har kapacitet att ta emot och skicka datavärden, och en icke-sekventiell semantik föreslås i ett operativt tillvägagångssätt. I denna samtidiga modell definieras en svag spärrkongruens och en lokaliserad tidig svag bisimilaritet, och det senare förhållandet har visat sig vara tillräckligt för att rättfärdiga det förra. Som en illustration av potentiella tillämpningar av VCCTS, en semantik baserad på VCCTS ges till en leksak flertrådade programmeringsspråk med en kärna av C/C++-konvergens; och en formalisering baserad på den operativa semantik av VCCTS föreslås för några avslappnade minnesmodeller, och en DRF-garanti egendom med avseende på VCCTS bevisas.
Liksom REF utökade vi syntaxen för CCTS genom att tillåta symboler att ta emot och skicka datavärden.
Value-Passing CCS for Trees: A Theory for Concurrent Systems
{'venue': '2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)', 'journal': '2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)', 'mag_field_of_study': ['Computer Science', 'Mathematics']}