Multiplicative Transition Systems

DOI10.3233/FI-2011-505zbMATH Open1251.68164OpenAlexW1491338909MaRDI QIDQ2895798

Józef Winkowski

Publication date: 4 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-505

zbMATH Keywords

regionsstatesindependencecategorycompositiontransition systemstransitionslabelled posetspomsets

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Extensional equivalences for transition systems 👍 👎
• Concurrent transition systems 👍 👎
• Elementary transition systems 👍 👎
• Factorisation of transition systems 👍 👎
• On Products of Transition Systems 👍 👎
• Mixed Transition Systems Revisited 👍 👎
• Monoid-labeled transition systems 👍 👎
• Multiplicative Transition Systems 👍 👎

This page was built for publication: Multiplicative Transition Systems