Concurrent histories: a basis for observing distributed systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3837349 (Why is no real title available?)
- scientific article; zbMATH DE number 3856435 (Why is no real title available?)
- scientific article; zbMATH DE number 3819108 (Why is no real title available?)
- scientific article; zbMATH DE number 3821089 (Why is no real title available?)
- scientific article; zbMATH DE number 3821120 (Why is no real title available?)
- scientific article; zbMATH DE number 3825182 (Why is no real title available?)
- scientific article; zbMATH DE number 3896316 (Why is no real title available?)
- scientific article; zbMATH DE number 3896328 (Why is no real title available?)
- scientific article; zbMATH DE number 3898215 (Why is no real title available?)
- scientific article; zbMATH DE number 3903950 (Why is no real title available?)
- scientific article; zbMATH DE number 3986627 (Why is no real title available?)
- scientific article; zbMATH DE number 3688732 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A partial ordering semantics for CCS
- Behaviours of concurrent systems
- COSY - a system specification language based on paths and processes
- Power domains
- Semantics of communicating processes
- The non-sequential behaviour of Petri nets
- Time, clocks, and the ordering of events in a distributed system
Cited in
(29)- Relational structures model of concurrency
- A partial ordering semantics for CCS
- Automatizing parametric reasoning on distributed concurrent systems
- Proved trees
- A distributed operational semantics of CCS based on condition/event systems
- Partial ordering models for concurrency can be defined operationally
- scientific article; zbMATH DE number 7649945 (Why is no real title available?)
- scientific article; zbMATH DE number 2013783 (Why is no real title available?)
- scientific article; zbMATH DE number 1322634 (Why is no real title available?)
- From states to histories relating state and history views onto systems
- Petri nets are monoids
- Relational structures for concurrent behaviours
- Making the unobservable, unobservable
- Graph-Based Design and Analysis of Dynamic Software Architectures
- Ugo Montanari and Concurrency Theory
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- scientific article; zbMATH DE number 1617289 (Why is no real title available?)
- Appraising fairness in languages for distributed programming
- Step bisimulation is pomset equivalence on a parallel language without explicit internal choice
- Models and logics for true concurrency.
- Universal axioms for bisimulations
- On continuous time agents
- Extended transition systems for parametric bisimulation
- scientific article; zbMATH DE number 3903950 (Why is no real title available?)
- An algebraic characterisation of elementary net system (observable) state space
- An algebraic view of interleaving and distributed operational semantics for CCS
- Event structure semantics for multiparty sessions
- Modeling concurrency with interval traces
- Structure of concurrency
This page was built for publication: Concurrent histories: a basis for observing distributed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1089787)
