Cover Image

Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995 /

This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11 - 13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly comp...

Full description

Bibliographic Details
Corporate Authors: International Workshop on Structures in Concurrency Theory Berlin, Germany, SpringerLink (Online service), British Computer Society
Other Authors: Desel, Jörg
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1995]
Series:Workshops in computing.
Subjects:
Parallel processing (Electronic computers) > Congresses.
Data structures (Computer science) > Congresses.
Parallelle verwerking.
Datastructuren.
Data structures (Computer science)
Parallel processing (Electronic computers)
Parallel programming
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11 - 13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. This workshop was jointly organised by the Humboldt-Universitt zu Berlin and the ESPRIT Basic Research Working Group CALIBAN. CALIBAN and its predecessor DEMON are ESPRIT Basic Research projects with the aim of developing design methodologies based on causal models such as Petri nets. The workshop marked the third year of the project, and surveyed the results of CALIBAN and DEMON since 1989.
Item Description:"Published in collaboration with the British Computer Society."
Electronic resource.
Physical Description:1 online resource (x, 352 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9781447130789 (electronic bk.)
1447130782 (electronic bk.)