عنوان

Semantics for concurrency :

(Number (ISBN

1447138600

(Number (ISBN

9781447138600

Number

b565338

Title Proper

Semantics for concurrency :

General Material Designation

[Book]

Other Title Information

proceedings of the International BCS-FACS Workshop, 23-25 July 1990, University of Leicester

First Statement of Responsibility

[edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.

Place of Publication, Distribution, etc.

London

Name of Publisher, Distributor, etc.

Springer-Verlag

Date of Publication, Distribution, etc.

1990

Specific Material Designation and Extent of Item

(viii, 346 pages) : illustrations

Series Title

Workshops in computing.

Text of Note

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.

Text of Note

This volume contains a collection of papers presented at the International Workshop on Semantics for Concurrency, held from 22 to 25 July 1990 at the University of Leicester, UK. The main aim of the workshop was to discuss and seek to identify the positive objective features of the main approaches to semantics for concurrency, and thus to increase understanding between research groups. The field of semantics for concurrency has attracted a number of formalisms, ranging from algebra and automata theory, through logic and topology to category theory. This pluralism provides valuable insight into the nature of concurrency, but when coupled with different views of what issues are important when modeling concurrency, it leads also to disjointed research efforts and lack of communication. Discussions then concentrate on superficial, rather than objective, differences between approaches, and it becomes harder to assess which features of a particular approach are successful in dealing with the problems of concurrent behaviors. This workshop was organized to coordinate research and increase communication. These proceedings include papers on a wide range of issues in concurrency, including: process algebras and equivalences, Petri nets, dataflow networks, logics for concurrency, and denotational, partial-order and real-time semantics.

Computer systems -- Parallel programming

Parallel programming (Computer science)

Class number

Book number

[edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.

M W Shields

M Z Kwiatkowska

R M Thomas

Electronic name

[Book]

Y