Semantics for Concurrency Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
1990, 1990
|
| Edition: | 1st ed. 1990 |
| Series: | Workshops in Computing
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- A General Tableau Technique for Verifying Temporal Properties of Concurrent Programs (Extended Abstract)
- Traps, Free Choice and Home States (Extended Abstract)
- A Denotational Semantics for Synchronous and Asynchronous Behavior with Multiform Time (Extended Abstract)
- From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic
- Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints
- Experimenting with Process Equivalence
- Iteration Theories of Synchronization Trees
- Towards a Theory of Parallel Algorithms on Concrete Data Structures
- Causal Automata I: Confluence ? (AND, OR) Causality
- A Simple Generalization of Kahn’s Principle to Indeterminate Dataflow Networks (Extended Abstract)
- Defining Fair Merge as a Colimit: Towards a Fixed-Point Theory for Indeterminate Dataflow
- High-Level Nets for Dynamic Dining Philosophers Systems
- Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets
- High Level Distributed Transition Systems
- A Compositional Axiomatisation of Safety and Liveness Properties for Statecharts
- Defining Conditional Independence Using Collapses
- Timed Concurrent Processes
- Approaching a Real-Timed Concurrency Theory
- On Global-Time and Inter-Process Communication
- Modelling Reactive Hardware Processes Using Partial Orders
- Author Index