Distributed automata in an assumption-commitment framework
From MaRDI portal
Publication:1847547
DOI10.1007/BF02717184zbMath1018.68041MaRDI QIDQ1847547
Swarup Mohalik, Ranga S. Ramanujan
Publication date: 27 November 2002
Published in: Sādhanā (Search for Journal in Brave)
68Q45: Formal languages and automata
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Asynchronous mappings and asynchronous cellular automata
- P-A logic - a compositional proof system for distributed programs
- Notes on finite asynchronous automata
- A Proof System for Communicating Sequential Processes
- Proving Liveness Properties of Concurrent Programs
- Verifying properties of parallel programs
- An automata-theoretic approach to branching-time model checking