Chapter: On distributed languages and models for concurrency

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Advances in Petri Nets 1992 > On distributed languages and models for concurrency

Advances in Petri Nets 1992 |

Grzegorz Rozenberg

Springer Berlin Heidelberg

On distributed languages and models for concurrency

Chapter Info

Authors

Brigitte Rozoy

ARI Id

1664891395830_3952561

Access

Not Available Free

Pages

267-291

DOI

10.1007/3-540-55610-9_175

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-55610-9_175

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 17 of 17 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter
Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements —	Eike Best	1-20
The box calculus: A new causal algebra with multi-label communication	Eike Best; Raymond Devillers; Jon G. Hall	21-69
Modular functional modelling of petri nets with individual tokens	Manfred Broy; Thomas Streicher	70-88
Interleaving semantics and action refinement with atomic choice	Ingo Czaja; Rob J. van Glabbeek; Ursula Goltz	89-107
Maximality preservation and the ST-idea for action refinements	Raymond Devillers	108-151
A fifo-net model for processes with asynchronous communication	J. Fanchon	152-178
A basic-net algebra for program semantics and its application to occam	Richard Hopkins; Jon Hall; Oliver Botti	179-214
The effect of Vector synchronization: Residue and loss	N. W. Keesmaat; H. C. M. Kleijn	215-250
Modelling systems with dynamic priorities	Maciej Koutny	251-266
On distributed languages and models for concurrency	Brigitte Rozoy	267-291
Partial words versus processes: A short comparison	Walter Vogler	292-303
A survey of basic net models and modular net classes	Luca Bernardinello; Fiorella De Cindio	304-351
Structural techniques and performance bounds of stochastic Petri net models	Javier Campos; Manuel Silva	352-391
A survey of recognizable languages of infinite traces	Paul Gastin; Antoine Petit	392-409
A survey of equivalence notions for net based systems	L. Pomello; G. Rozenberg; C. Simone	410-472
Back Matter
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 17 of 17 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries