An operational framework for value-passing processes

Authors:
Rance Cleaveland;Daniel Yankelevich
Affiliations:
Department of Computer Science, North Carolina State University, Raleigh, NC;Department of Computer Science, North Carolina State University, Raleigh, NC
Venue:
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year:
1994

Citing 16
Cited 3

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes

Communicating sequential processes
An introduction to Estelle: a specification language for distributed systems

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Algebraic theory of processes

Algebraic theory of processes
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
A calculus of higher order communicating systems

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Explicit substitutions

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Process algebra

Process algebra
The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
Concurrent constraint programming

Concurrent constraint programming
Communicating reactive processes

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus of mobile processes, II

Information and Computation
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Introduction to Gamma

Research Directions in High-Level Parallel Programming Languages
A Parametric Approach to Localities

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming

Combinatory formulations of concurrent languages

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems

Real-Time Systems
Atomicity And Concurrency Control In Process Calculi

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper develops a semantic framework for concurrent languages with value passing. An operation analogous to substitution in the &lgr;-calculus is given, and a semantics is given for a value-passing version of Milner's Calculus of Communicating Systems (CCS). An operational equivalence is then defined and shown to coincide with Milner's (early) bisimulation equivalence. We also show how semantics maybe given for languages with asynchronous communication primitives. In contrast with existing approaches to value passing, this semantics does not reduce data exchange to pure synchronization over (potentially infinite) families of ports indexed by data, and it avoids variable renamings that are not local to processes engaged in communication.