Pages that link to "Item:Q5096237"
From MaRDI portal
The following pages link to π-Calculus semantics of object-oriented programming languages (Q5096237):
Displaying 11 items.
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Theory of interaction (Q896903) (← links)
- Concurrency and knowledge-level communication in agent languages (Q1274547) (← links)
- Partial confluence of processes and systems of objects (Q1274970) (← links)
- On transformations of concurrent-object programs (Q1276245) (← links)
- Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
- Decoding choice encodings (Q1854385) (← links)
- Variations on mobile processes (Q1960530) (← links)
- Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275) (← links)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
- Confluence of processes and systems of objects (Q5096733) (← links)
