scientific article; zbMATH DE number 1759627
From MaRDI portal
Publication:4536618
zbMath0999.68530MaRDI QIDQ4536618
Publication date: 28 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Regular sets of infinite message sequence charts ⋮ Classifying invariant structures of step traces ⋮ Step traces ⋮ Dynamic Causality in Event Structures
This page was built for publication:
