The Resource Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds
Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds
Resource Information
The item Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
-
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- Language
- eng
- Extent
- xii, 750 pages
- Contents
-
- Retracing some paths in process algebra / Samson Abramsky
- Process calculus based upon evaluation to committed form / Andrew Pitts, Joshua Ross
- A process algebra with distributed priorities / Rance Cleaveland, Gerald Luttgen, Vaidhyanathan Natarajan
- Symbolic transition graph with assignment / Huimin Lin
- Models for concurrent constraint programming / Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
- Comparing transition systems with independence and asynchronous transition Systems / Thomas Hildebrandt, Vladimiro Sassone
- A presheaf semantics of value-passing processes / Glynn Winskel
- Elementary control structures / John Power
- On transformations of concurrent object programs / Anna Philippou, David Walker
- On bisimulations for the asynchronous [pi]-calculus / Roberto Amadio, Ilaria Castellani, Davide Sangiorgi
- On the expressiveness of internal mobility in name-passing calculi / Michele Boreale
- Decoding choice encodings / Uwe Nestmann, Benjamin Pierce
- Infinite results / Faron Moller
- Decidability of bisimulation equivalence for normed pushdown processes / Colin Stirling
- The modal mu-calculus alternation hierarchy is strict / Julian Bradfield
- Bisimulation collapse and the process taxonomy / Olaf Burkart, Didier Caucal, Bernhard Steffen
- On the expressive completeness of the propositional mu-calculus with respect to the monadic second order logic / David Janin, Igor Walukiewicz
- A facile tutorial / Bent Thomsen, Lone Leth, Tsung-Min Kuo
- Testing probabilistic automata / Roberto Segala
- Extended Markovian process algebra / Marco Bernardo, Roberto Gorrieri
- Rewriting logic as a semantic framework for concurrency / Jose Meseguer
- Truly concurrent constraint programming / Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
- Constraints as processes / Bjorn Victo, Joachim Parrow
- A calculus of mobile agents / Cedric Fournet ... [et al.]
- Algebraic interpretation of lambda calculus with resources / Carolina Lavatelli
- Concurrent graph and term graph rewriting / Andrea Corradini
- Petri boxes and finite precedence / Raymond Devillers
- Constrained properties, semilinear systems, and petri nets / Ahmed Bouajjani, Peter Habermehl
- Linear constraint systems as high-level nets / Eike Best, Catuscia Palamidessi
- A space-efficient on-the-fly algorithm for real-time model checking / Thomas Henzinger, Orna Kupferman, Moshe Vardi
- State equivalences for rectangular hybrid automata / Thomas Henzinger, Peter Kopke
- Verifying abstractions of timed systems / Serdar Tasiran ... [et al.]
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation / Alessandro Fantechi, Stefania Gnesi, Diego Latella
- Modelling and verification of distributed algorithms / Wolfgang Reisig
- An algorithmic approach for checking closure properties of [omega]-regular languages / Doron Peled, Thomas Wilke, Pierre Wolper
- Towards automata for branching time and partial order / Michaela Huhn, Peter Niebert
- Asynchronous cellular automata for pomsets without auto-concurrency / Manfred Droste, Paul Gastin
- Action refinement and property inheritance in systems of sequential agents / Michaela Huhn
- A calculus for concurrent objects / Paolo Di Blasio, Kathleen Fisher
- Refinement in interworkings / Sjouke Mauw, Michel Reniers
- Equivalences of statecharts / Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
- Modular verification for shared-variable concurrent programs / Jurgen Dingel
- The impact of hardware models on shared memory consistency conditions / Jerry James, Ambuj Singh
- Synchronous development of asynchronous systems / Clemens Fischer, Wil Janssen
- Isbn
- 9783540616047
- Label
- Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
- Title
- Concur '96
- Title remainder
- concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
- Statement of responsibility
- Ugo Montanari, Vladimiro Sassone, eds
- Language
- eng
- Summary
-
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- "This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE
- Cataloging source
- RRR
- Dewey number
- 004/.35
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.58
- LC item number
- .I53 1996
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1996
- http://bibfra.me/vocab/lite/meetingName
- International Conference on Concurrency Theory
- Nature of contents
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
-
- Montanari, U.
- Sassone, Vladimiro
- Series statement
- Lecture notes in computer science
- Series volume
- 1119
- http://library.link/vocab/subjectName
-
- Parallel processing (Electronic computers)
- Parallel processing (Electronic computers)
- Label
- Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Retracing some paths in process algebra / Samson Abramsky -- Process calculus based upon evaluation to committed form / Andrew Pitts, Joshua Ross -- A process algebra with distributed priorities / Rance Cleaveland, Gerald Luttgen, Vaidhyanathan Natarajan -- Symbolic transition graph with assignment / Huimin Lin -- Models for concurrent constraint programming / Vineet Gupta, Radha Jagadeesan, Vijay Saraswat -- Comparing transition systems with independence and asynchronous transition Systems / Thomas Hildebrandt, Vladimiro Sassone -- A presheaf semantics of value-passing processes / Glynn Winskel -- Elementary control structures / John Power -- On transformations of concurrent object programs / Anna Philippou, David Walker -- On bisimulations for the asynchronous [pi]-calculus / Roberto Amadio, Ilaria Castellani, Davide Sangiorgi -- On the expressiveness of internal mobility in name-passing calculi / Michele Boreale -- Decoding choice encodings / Uwe Nestmann, Benjamin Pierce -- Infinite results / Faron Moller -- Decidability of bisimulation equivalence for normed pushdown processes / Colin Stirling -- The modal mu-calculus alternation hierarchy is strict / Julian Bradfield -- Bisimulation collapse and the process taxonomy / Olaf Burkart, Didier Caucal, Bernhard Steffen -- On the expressive completeness of the propositional mu-calculus with respect to the monadic second order logic / David Janin, Igor Walukiewicz -- A facile tutorial / Bent Thomsen, Lone Leth, Tsung-Min Kuo -- Testing probabilistic automata / Roberto Segala -- Extended Markovian process algebra / Marco Bernardo, Roberto Gorrieri -- Rewriting logic as a semantic framework for concurrency / Jose Meseguer -- Truly concurrent constraint programming / Vineet Gupta, Radha Jagadeesan, Vijay Saraswat -- Constraints as processes / Bjorn Victo, Joachim Parrow -- A calculus of mobile agents / Cedric Fournet ... [et al.] -- Algebraic interpretation of lambda calculus with resources / Carolina Lavatelli -- Concurrent graph and term graph rewriting / Andrea Corradini -- Petri boxes and finite precedence / Raymond Devillers -- Constrained properties, semilinear systems, and petri nets / Ahmed Bouajjani, Peter Habermehl -- Linear constraint systems as high-level nets / Eike Best, Catuscia Palamidessi -- A space-efficient on-the-fly algorithm for real-time model checking / Thomas Henzinger, Orna Kupferman, Moshe Vardi -- State equivalences for rectangular hybrid automata / Thomas Henzinger, Peter Kopke -- Verifying abstractions of timed systems / Serdar Tasiran ... [et al.] -- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation / Alessandro Fantechi, Stefania Gnesi, Diego Latella -- Modelling and verification of distributed algorithms / Wolfgang Reisig -- An algorithmic approach for checking closure properties of [omega]-regular languages / Doron Peled, Thomas Wilke, Pierre Wolper -- Towards automata for branching time and partial order / Michaela Huhn, Peter Niebert -- Asynchronous cellular automata for pomsets without auto-concurrency / Manfred Droste, Paul Gastin -- Action refinement and property inheritance in systems of sequential agents / Michaela Huhn -- A calculus for concurrent objects / Paolo Di Blasio, Kathleen Fisher -- Refinement in interworkings / Sjouke Mauw, Michel Reniers -- Equivalences of statecharts / Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini -- Modular verification for shared-variable concurrent programs / Jurgen Dingel -- The impact of hardware models on shared memory consistency conditions / Jerry James, Ambuj Singh -- Synchronous development of asynchronous systems / Clemens Fischer, Wil Janssen
- Control code
- 35576650
- Dimensions
- 24 cm
- Extent
- xii, 750 pages
- Isbn
- 9783540616047
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- System control number
- (OCoLC)35576650
- Label
- Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Retracing some paths in process algebra / Samson Abramsky -- Process calculus based upon evaluation to committed form / Andrew Pitts, Joshua Ross -- A process algebra with distributed priorities / Rance Cleaveland, Gerald Luttgen, Vaidhyanathan Natarajan -- Symbolic transition graph with assignment / Huimin Lin -- Models for concurrent constraint programming / Vineet Gupta, Radha Jagadeesan, Vijay Saraswat -- Comparing transition systems with independence and asynchronous transition Systems / Thomas Hildebrandt, Vladimiro Sassone -- A presheaf semantics of value-passing processes / Glynn Winskel -- Elementary control structures / John Power -- On transformations of concurrent object programs / Anna Philippou, David Walker -- On bisimulations for the asynchronous [pi]-calculus / Roberto Amadio, Ilaria Castellani, Davide Sangiorgi -- On the expressiveness of internal mobility in name-passing calculi / Michele Boreale -- Decoding choice encodings / Uwe Nestmann, Benjamin Pierce -- Infinite results / Faron Moller -- Decidability of bisimulation equivalence for normed pushdown processes / Colin Stirling -- The modal mu-calculus alternation hierarchy is strict / Julian Bradfield -- Bisimulation collapse and the process taxonomy / Olaf Burkart, Didier Caucal, Bernhard Steffen -- On the expressive completeness of the propositional mu-calculus with respect to the monadic second order logic / David Janin, Igor Walukiewicz -- A facile tutorial / Bent Thomsen, Lone Leth, Tsung-Min Kuo -- Testing probabilistic automata / Roberto Segala -- Extended Markovian process algebra / Marco Bernardo, Roberto Gorrieri -- Rewriting logic as a semantic framework for concurrency / Jose Meseguer -- Truly concurrent constraint programming / Vineet Gupta, Radha Jagadeesan, Vijay Saraswat -- Constraints as processes / Bjorn Victo, Joachim Parrow -- A calculus of mobile agents / Cedric Fournet ... [et al.] -- Algebraic interpretation of lambda calculus with resources / Carolina Lavatelli -- Concurrent graph and term graph rewriting / Andrea Corradini -- Petri boxes and finite precedence / Raymond Devillers -- Constrained properties, semilinear systems, and petri nets / Ahmed Bouajjani, Peter Habermehl -- Linear constraint systems as high-level nets / Eike Best, Catuscia Palamidessi -- A space-efficient on-the-fly algorithm for real-time model checking / Thomas Henzinger, Orna Kupferman, Moshe Vardi -- State equivalences for rectangular hybrid automata / Thomas Henzinger, Peter Kopke -- Verifying abstractions of timed systems / Serdar Tasiran ... [et al.] -- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation / Alessandro Fantechi, Stefania Gnesi, Diego Latella -- Modelling and verification of distributed algorithms / Wolfgang Reisig -- An algorithmic approach for checking closure properties of [omega]-regular languages / Doron Peled, Thomas Wilke, Pierre Wolper -- Towards automata for branching time and partial order / Michaela Huhn, Peter Niebert -- Asynchronous cellular automata for pomsets without auto-concurrency / Manfred Droste, Paul Gastin -- Action refinement and property inheritance in systems of sequential agents / Michaela Huhn -- A calculus for concurrent objects / Paolo Di Blasio, Kathleen Fisher -- Refinement in interworkings / Sjouke Mauw, Michel Reniers -- Equivalences of statecharts / Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini -- Modular verification for shared-variable concurrent programs / Jurgen Dingel -- The impact of hardware models on shared memory consistency conditions / Jerry James, Ambuj Singh -- Synchronous development of asynchronous systems / Clemens Fischer, Wil Janssen
- Control code
- 35576650
- Dimensions
- 24 cm
- Extent
- xii, 750 pages
- Isbn
- 9783540616047
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- System control number
- (OCoLC)35576650
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Concur-96--concurrency-theory--7th/YIeBHjF0E5E/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Concur-96--concurrency-theory--7th/YIeBHjF0E5E/">Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Concur-96--concurrency-theory--7th/YIeBHjF0E5E/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Concur-96--concurrency-theory--7th/YIeBHjF0E5E/">Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>