Transition systems without transitions

DOI10.1016/J.TCS.2004.09.026zbMATH Open1078.68105OpenAlexW2034810414MaRDI QIDQ557786FDOQ557786

Authors: Andrzej M. Borzyszkowski, Philippe Darondeau 

Publication date: 30 June 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.09.026

Recommendations

• Transition systems
• An exercise on transition systems
• scientific article; zbMATH DE number 5068370
• Switching phenomena in a system with no switches
• scientific article; zbMATH DE number 6790161
• scientific article; zbMATH DE number 1107504
• Analysis of the structure of attributed transition systems without hidden transitions
• Elementary transition systems
• scientific article; zbMATH DE number 139604

zbMATH Keywords

2-StructureConcurrency theoryElementary netTransition system

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Partial (set) 2-structures. I: Basic notions and the representation problems
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Elementary transition systems
• An algebraic model of observable properties in distributed systems

Cited In (1)

• Partial (set) 2-structures. I: Basic notions and the representation problems

This page was built for publication: Transition systems without transitions

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