## CONCUR '91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991 : Proceedings"CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science."--PUBLISHER'S WEBSITE. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

abstract ACSP algorithm atomic actions automata automaton axioms backward simulation basic behaviour bisimulation C.A.R. Hoare causality Communicating Sequential Processes communication component Computer Science concurrent systems consider construct corresponding deadlock defined Definition denotational semantics denote described environment equations equivalence event structures example execution expression extended fairness finite formula function given global guards Hoare logic Horn clauses implementation induction infinite input interaction interleaving Intuitively labeled transition systems Lemma logic Moore machine Notes in Computer notion observation occur operational semantics output paper parallel composition partial order Petri Nets predicate prefix preorder process algebra programming language proof properties Proposition recursive process graph refinement respect result satisfies sequential composition SL&SB space spatial pomset specification step sequence stubborn set subset superposition synchronisation synchronization temporal Theorem theory trace set transformation transition relation variables verification