The following pages link to Synchronization trees (Q1348524):
Displaying 33 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Metric completion versus ideal completion (Q672047) (← links)
- Models for concurrency: Towards a classification (Q672053) (← links)
- A logical characterization of observation equivalence (Q802306) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- Algebra of communicating processes with abstraction (Q1067408) (← links)
- Reducibility of synchronization structures (Q1085606) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Elementary transition systems (Q1190485) (← links)
- Observational structures and their logic (Q1190494) (← links)
- Iteration theories of synchronization trees (Q1207946) (← links)
- Object inheritance beyond subtyping (Q1323343) (← links)
- The connection between an event structure semantics and an operational semantics for TCSP (Q1323346) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Trees and semantics (Q1391740) (← links)
- Semantics for finite delay (Q1392281) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- PRISMA: A Mobile Calculus with Parametric Synchronization (Q3608457) (← links)
- Concurrency, modularity, and synchronization (Q3975177) (← links)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)
- (Q5020646) (← links)
- A Calculus of Countable Broadcasting Systems (Q5096402) (← links)
- Object interaction (Q5096831) (← links)
- Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048) (← links)
- Exploiting User-definable Synchronizations in Graph Transformation (Q5404173) (← links)
- Generalized Synchronization Trees (Q5410680) (← links)
- On continuous time agents (Q6116583) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)
