Synchronization trees

DOI10.1016/0304-3975(84)90112-9zbMath0985.68514OpenAlexW4210478186MaRDI QIDQ1348524

Glynn Winskel

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

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

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

• COSY

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