Synchronization trees
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3814961 (Why is no real title available?)
- scientific article; zbMATH DE number 3817027 (Why is no real title available?)
- scientific article; zbMATH DE number 3821120 (Why is no real title available?)
- scientific article; zbMATH DE number 3651760 (Why is no real title available?)
- scientific article; zbMATH DE number 3688686 (Why is no real title available?)
- scientific article; zbMATH DE number 3754002 (Why is no real title available?)
- scientific article; zbMATH DE number 3780545 (Why is no real title available?)
- scientific article; zbMATH DE number 3463159 (Why is no real title available?)
- scientific article; zbMATH DE number 3582349 (Why is no real title available?)
- scientific article; zbMATH DE number 3806938 (Why is no real title available?)
- scientific article; zbMATH DE number 3892604 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- COSY - a system specification language based on paths and processes
- Petri nets, event structures and domains. I
- Sequential algorithms on concrete data structures
Cited in
(39)- scientific article; zbMATH DE number 7453187 (Why is no real title available?)
- A formal approach to open multiparty interactions
- A connection between concurrency and language theory
- Game theoretic analysis of call-by-value computation
- Observational structures and their logic
- Proved trees
- scientific article; zbMATH DE number 3954291 (Why is no real title available?)
- Object interaction
- Iteration theories of synchronization trees
- Game-theoretic analysis of call-by-value computation
- The equational logic of fixed points
- Normed processes, unique decomposition, and complexity of bisimulation equivalences
- scientific article; zbMATH DE number 4092751 (Why is no real title available?)
- Algebra of communicating processes with abstraction
- Semantics for finite delay
- Elementary transition systems
- PRISMA: A Mobile Calculus with Parametric Synchronization
- Exploiting user-definable synchronizations in graph transformation
- The \texttt{link}-calculus for open multiparty interactions
- scientific article; zbMATH DE number 3936542 (Why is no real title available?)
- The connection between an event structure semantics and an operational semantics for TCSP
- Generalized synchronization trees
- A calculus of countable broadcasting systems
- scientific article; zbMATH DE number 2090087 (Why is no real title available?)
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Object inheritance beyond subtyping
- Trees and semantics
- On continuous time agents
- Algebraic synchronization trees and processes
- Concurrent transition systems
- Parametric synchronizations in mobile nominal calculi
- Structured theory presentations and logic representations
- A logical characterization of observation equivalence
- scientific article; zbMATH DE number 17833 (Why is no real title available?)
- Infinite streams and finite observations in the semantics of uniform concurrency
- Models for concurrency: Towards a classification
- Reducibility of synchronization structures
- Causal reversibility implies time reversibility
- Metric completion versus ideal completion
This page was built for publication: Synchronization trees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1348524)
