Borrow it
Coverart for item
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

Creator
Contributor
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
Work
Publication
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
Instance
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
Creator
Contributor
Subject
Genre
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
Member of
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
Instantiates
Publication
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
Publication
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

Subject

Genre

Member of

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...