CTS systems and Petri nets

DOI10.1016/0304-3975(85)90163-XzbMath0608.68053DBLPjournals/tcs/AalbersbergR85OpenAlexW2079949331WikidataQ57402297 ScholiaQ57402297MaRDI QIDQ1085981

Ijsbrand Jan Aalbersberg, Grzegorz Rozenberg

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90163-x

zbMATH Keywords

concurrent processescontext-free grammar selectorcoordinated table selective substitution systems

Mathematics Subject Classification ID

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

Related Items (1)

On coordinated selective substitutions: Towards a unified theory of grammars and machines

Cites Work

• On coordinated selective substitutions: Towards a unified theory of grammars and machines
• Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
• Context-free like restrictions on selective rewriting
• Remarks on blind and partially blind one-way multicounter machines
• Coordinated pair systems ; part I : Dyck works and classical pumping
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CTS systems and Petri nets