Generalized synchronization trees

DOI10.1007/978-3-642-54830-7_20MaRDI QIDQ5410680zbMATH OpenOpenAlexDBLPWikidataFDO

Authors James Ferlez, Rance Cleaveland, Steve Marcus

Publication date 16 April 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54830-7_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synchronization trees
• scientific article; zbMATH DE number 860042
• Algebraic synchronization trees and processes
• Iteration theories of synchronization trees
• Synchronized tree automata

Cited in

(7)

• Iteration theories of synchronization trees
• On induction principles for partial orders
• Open maps in concrete categories and branching bisimulation for prefix orders
• scientific article; zbMATH DE number 3954291 (Why is no real title available?)
• Continuous Additive Algebras and Injective Simulations of Synchronization Trees
• scientific article; zbMATH DE number 860042 (Why is no real title available?)
• Bisimulation and Hennessy-Milner logic for generalized synchronization trees

This page was built for publication: Generalized synchronization trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5410680)