Structural inclusion in the pi-calculus with replication

Theoretical Computer Science

Volumn 258, Issue 1-2, 2001, Pages 131-168

  Engelfriet, Joost ^a   Gelsema, Tjalling ^a  

^a LEIDEN UNIVERSITY   (Netherlands)

Author keywords

calculus; Petri nets; Structural congruence

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; SET THEORY; THEOREM PROVING;

AXIOMATIZATION;

LINEAR ALGEBRA;

EID: 0034918530     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00330-8     Document Type: Article

References (8)

1. A multiset semantics for the pi-calculus with replication
2. Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition
3. Multisets and structural congruence of the pi-calculus with replication
4. Flowgraphs and flow algebras
5. Functions as processes
6. Concurrent processes and their syntax
7. A calculus of mobile processes