Transformations of sequential specifications into concurrent specifications by synchronization guards

DOI10.1016/0304-3975(90)90117-ZzbMath0717.68065MaRDI QIDQ2638794

Tomasz Müldner, Ryszard Janicki

Publication date: 1990

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

zbMATH Keywords

concurrent systemsregular expressionsconcurrency

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Modula

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A methodology for programming with concurrency: An informal presentation
• A methodology for programming with concurrency: The formalism
• Transforming sequential systems into concurrent systems
• Combinatorial problems of commutation and rearrangements
• An experiment in language design for distributed systems
• Concurrent Machines
• Joyce—A programming language for distributed systems
• Pascal-plus—another language for modular multiprogramming