Partial confluence of processes and systems of objects
From MaRDI portal
Recommendations
Cites work
- -calculus semantics of object-oriented programming languages
- A calculus of communicating systems
- A calculus of mobile processes. II
- Asynchronous process calculi: The first- and higher-order paradigms
- Constraining interference in an object-based design method
- Denotational semantics of a parallel object-oriented language
- From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
- scientific article; zbMATH DE number 3986679 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- Issues in the design of a parallel object-oriented language
- Modal logics for mobile processes
- Objects in the \(\pi\)-calculus
- Traffic Modelling and Probabilistic Process Abstraction
Cited in
(11)- Asynchronous sequential processes
- An interpretation of typed objects into typed -calculus
- On transformations of concurrent-object programs
- Objects in the \(\pi\)-calculus
- Prototyping concurrent systems with agents and artifacts: framework and core calculus
- On the origin of events: branching cells as stubborn sets
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Social confluence in client-server systems
- Confluence of processes and systems of objects
- A Capability Calculus for Concurrency and Determinism
- A process-calculus analysis of concurrent operations on B-trees
This page was built for publication: Partial confluence of processes and systems of objects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1274970)
