Algebraic specification of concurrent systems
From MaRDI portal
Publication:914405
DOI10.1016/0304-3975(89)90090-XzbMath0701.68077MaRDI QIDQ914405
Publication date: 1989
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Uses Software
Cites Work
- Predicative specifications for functional programs describing communicating networks
- Calculi for synchrony and asynchrony
- Algebra of communicating processes with abstraction
- Generalized theory of serializability
- Top-down design and the algebra of communicating processes
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
- A calculus of communicating systems
- The programming language Ada. Reference manual. Proposed standard document, United States Department of Defense
- Algebraic implementation of abstract data types
- Specification and design of shared resource arbitration
- Algebraic and functional specification of an interactive serializable database interface
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs
- Specifying Concurrent Program Modules
- Serializability by Locking
- The notions of consistency and predicate locks in a database system
- Initial Algebra Semantics and Continuous Algebras
- Communicating sequential processes
- Termination for direct sums of left-linear complete term rewriting systems
- On the Church-Rosser property for the direct sum of term rewriting systems
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
