Michael W. Shields - Böcker
Visar alla böcker från författaren Michael W. Shields. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
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
Häftad, Engelska, 1990
552 kr
Skickas inom 10-15 vardagar
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 modelling 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 behaviours. 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 realtime semantics.
1 064 kr
Skickas inom 10-15 vardagar
The aim of this book is to provide a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in this book are collected for the first time outside conference and journal articles on the mathematics of non-interleaving semantics. It aims to give the reader a unified view of various attempts to model parallelism within one conceptual framework. It is aimed at postgraduates in theoretical computer science and academics who are teaching and researching in the modelling of discrete, concurrent or distributed systems. Workers in the information technology industry who are interested in available theoretical studies on parallelism should also be interested in this book.