An exercise on transition systems

DOI10.1016/J.ENTCS.2008.03.087MaRDI QIDQ2873687zbMATH OpenOpenAlexFDO

Authors Paula R. Ribeiro, L. S. Barbosa, Shu-Ling Wang

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.03.087

zbMATH Keywords

bisimularitycoalgebraprocess algebrarelational structure

Mathematics Subject Classification ID

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

Recommendations

• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Coalgebraic Weak Bisimulation from Recursive Equations over Monads
• On path-based coalgebras and weak notions of bisimulation
• Weak bisimulations for coalgebras over ordered functors
• scientific article; zbMATH DE number 1231625

Cites work

• A calculus of mobile processes. II
• Bisimulation through probabilistic testing
• Final universes of processes
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1942459 (Why is no real title available?)
• scientific article; zbMATH DE number 1497883 (Why is no real title available?)
• scientific article; zbMATH DE number 2087342 (Why is no real title available?)
• scientific article; zbMATH DE number 1863173 (Why is no real title available?)
• Hybrid automata with finite bisimulations
• Mathematics of Program Construction
• Process Calculi à la Bird-Meertens
• Towards weak bisimulation for coalgebras
• Weak bisimulation for action-type coalgebras (extended abstract)

Cited in

(13)

• Relational presheaves, change of base and weak simulation
• A perspective on service orchestration
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Relational presheaves as labelled transition systems
• From transitions to executions
• A single complete relational rule for coalgebraic refinement
• scientific article; zbMATH DE number 7449995 (Why is no real title available?)
• Bisimulation of labelled state-to-function transition systems coalgebraically
• Transition systems
• scientific article; zbMATH DE number 1231625 (Why is no real title available?)
• Monoid-labeled transition systems
• Transition systems without transitions
• Well-structured transition systems everywhere!

This page was built for publication: An exercise on transition systems

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