The Resource Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 2629, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds
Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 2629, 1996 : proceedings, Ugo Montanari, Vladimiro Sassone, eds
Resource Information
The item Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 2629, 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 2629, 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 picalculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and sharedmemory 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 picalculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and sharedmemory 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 picalculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and sharedmemory 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 valuepassing 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 namepassing 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 mucalculus 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 mucalculus with respect to the monadic second order logic / David Janin, Igor Walukiewicz
 A facile tutorial / Bent Thomsen, Lone Leth, TsungMin 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 highlevel nets / Eike Best, Catuscia Palamidessi
 A spaceefficient onthefly algorithm for realtime 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 autoconcurrency / 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 MaggioloSchettini, Adriano Peron, Simone Tini
 Modular verification for sharedvariable 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 2629, 1996 : proceedings
 Title
 Concur '96
 Title remainder
 concurrency theory : 7th International Conference, Pisa, Italy, August 2629, 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 picalculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and sharedmemory 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 picalculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and sharedmemory 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 picalculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and sharedmemory 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 2629, 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 valuepassing 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 namepassing 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 mucalculus 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 mucalculus with respect to the monadic second order logic / David Janin, Igor Walukiewicz  A facile tutorial / Bent Thomsen, Lone Leth, TsungMin 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 highlevel nets / Eike Best, Catuscia Palamidessi  A spaceefficient onthefly algorithm for realtime 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 autoconcurrency / 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 MaggioloSchettini, Adriano Peron, Simone Tini  Modular verification for sharedvariable 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 2629, 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 valuepassing 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 namepassing 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 mucalculus 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 mucalculus with respect to the monadic second order logic / David Janin, Igor Walukiewicz  A facile tutorial / Bent Thomsen, Lone Leth, TsungMin 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 highlevel nets / Eike Best, Catuscia Palamidessi  A spaceefficient onthefly algorithm for realtime 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 autoconcurrency / 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 MaggioloSchettini, Adriano Peron, Simone Tini  Modular verification for sharedvariable 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 faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Concur96concurrencytheory7th/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/Concur96concurrencytheory7th/YIeBHjF0E5E/">Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 2629, 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 2629, 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 faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Concur96concurrencytheory7th/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/Concur96concurrencytheory7th/YIeBHjF0E5E/">Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 2629, 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>