Synchronization trees
From MaRDI portal
Publication:1348524
DOI10.1016/0304-3975(84)90112-9zbMath0985.68514OpenAlexW4210478186MaRDI QIDQ1348524
Publication date: 13 May 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(84)90112-9
Related Items (28)
A connection between concurrency and language theory ⋮ Structured theory presentations and logic representations ⋮ Infinite streams and finite observations in the semantics of uniform concurrency ⋮ Concurrent transition systems ⋮ Game theoretic analysis of call-by-value computation ⋮ A Calculus of Countable Broadcasting Systems ⋮ Object interaction ⋮ The equational logic of fixed points ⋮ Trees and semantics ⋮ Semantics for finite delay ⋮ On continuous time agents ⋮ Unnamed Item ⋮ Game-theoretic analysis of call-by-value computation ⋮ The \texttt{link}-calculus for open multiparty interactions ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ A formal approach to open multiparty interactions ⋮ Parametric synchronizations in mobile nominal calculi ⋮ Metric completion versus ideal completion ⋮ Models for concurrency: Towards a classification ⋮ Elementary transition systems ⋮ Observational structures and their logic ⋮ Exploiting User-definable Synchronizations in Graph Transformation ⋮ Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences ⋮ PRISMA: A Mobile Calculus with Parametric Synchronization ⋮ A logical characterization of observation equivalence ⋮ Algebra of communicating processes with abstraction ⋮ Object inheritance beyond subtyping ⋮ The connection between an event structure semantics and an operational semantics for TCSP
Uses Software
Cites Work
- A calculus of communicating systems
- Petri nets, event structures and domains. I
- Sequential algorithms on concrete data structures
- COSY - a system specification language based on paths and processes
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- A Theory of Communicating Sequential Processes
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Synchronization trees