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 1 library branch.
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 1 library branch.
 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
 Language
 eng
 Extent
 1 online resource (xii, 750 pages)
 Contents

 Retracing some paths in process algebra  Process calculus based upon evaluation to committed form  A process algebra with distributed priorities  Symbolic transition graph with assignment  Models for concurrent constraint programming  Comparing transition systems with independence and asynchronous transition systems  A presheaf semantics of valuepassing processes  Elementary control structures  On transformations of concurrent object programs  On bisimulations for the asynchronous ?calculus  On the expressiveness of internal mobility in namepassing calculi  Decoding choice encodings  Infinite results  Decidability of bisimulation equivalence for normed pushdown processes  The modal mucalculus alternation hierarchy is strict  Bisimulation collapse and the process taxonomy  On the expressive completeness of the propositional mucalculus with respect to monadic second order logic  A Facile tutorial  Testing probabilistic automata  ̂
 Extended Markovian Process Algebra  Rewriting logic as a semantic framework for concurrency: a progress report  Truly concurrent constraint programming  Constraints as processes  A calculus of mobile agents  Algebraic interpretation of lambda calculus with resources  Concurrent graph and term graph rewriting  Petri boxes and finite precedence  Constrained properties, semilinear systems, and Petri nets  Linear constraint systems as highlevel nets  A spaceefficient onthefly algorithm for realtime model checking  State equivalences for rectangular hybrid automata  Verifying abstractions of timed systems  Towards automatic temporal logic verification of value passing process algebra using abstract interpretation  Modelling and verification of Distributed Algorithms  An algorithmic approach for checking closure properties of ?regular languages  Towards automata for branching time and partial order  ̂
 Asynchronous cellular automata for pomsets without autoconcurrency  Action refinement and property inheritance in systems of sequential agents  A calculus for concurrent objects  Refinement in Interworkings  Equivalences of Statecharts  Modular verification for sharedvariable concurrent programs  The impact of hardware models on shared memory consistency conditions  Synchronous development of asynchronous systems
 Isbn
 9783540706250
 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
 Title variation
 Concurrency theory
 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
 Cataloging source
 SCPER
 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

 dictionaries
 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)
 Concurrente programmering
 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
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents

 Retracing some paths in process algebra  Process calculus based upon evaluation to committed form  A process algebra with distributed priorities  Symbolic transition graph with assignment  Models for concurrent constraint programming  Comparing transition systems with independence and asynchronous transition systems  A presheaf semantics of valuepassing processes  Elementary control structures  On transformations of concurrent object programs  On bisimulations for the asynchronous ?calculus  On the expressiveness of internal mobility in namepassing calculi  Decoding choice encodings  Infinite results  Decidability of bisimulation equivalence for normed pushdown processes  The modal mucalculus alternation hierarchy is strict  Bisimulation collapse and the process taxonomy  On the expressive completeness of the propositional mucalculus with respect to monadic second order logic  A Facile tutorial  Testing probabilistic automata  ̂
 Extended Markovian Process Algebra  Rewriting logic as a semantic framework for concurrency: a progress report  Truly concurrent constraint programming  Constraints as processes  A calculus of mobile agents  Algebraic interpretation of lambda calculus with resources  Concurrent graph and term graph rewriting  Petri boxes and finite precedence  Constrained properties, semilinear systems, and Petri nets  Linear constraint systems as highlevel nets  A spaceefficient onthefly algorithm for realtime model checking  State equivalences for rectangular hybrid automata  Verifying abstractions of timed systems  Towards automatic temporal logic verification of value passing process algebra using abstract interpretation  Modelling and verification of Distributed Algorithms  An algorithmic approach for checking closure properties of ?regular languages  Towards automata for branching time and partial order  ̂
 Asynchronous cellular automata for pomsets without autoconcurrency  Action refinement and property inheritance in systems of sequential agents  A calculus for concurrent objects  Refinement in Interworkings  Equivalences of Statecharts  Modular verification for sharedvariable concurrent programs  The impact of hardware models on shared memory consistency conditions  Synchronous development of asynchronous systems
 Control code
 326688247
 Dimensions
 unknown
 Extent
 1 online resource (xii, 750 pages)
 Form of item
 online
 Isbn
 9783540706250
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/3540616047.
 Other physical details
 illustrations.
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)326688247
 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
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents

 Retracing some paths in process algebra  Process calculus based upon evaluation to committed form  A process algebra with distributed priorities  Symbolic transition graph with assignment  Models for concurrent constraint programming  Comparing transition systems with independence and asynchronous transition systems  A presheaf semantics of valuepassing processes  Elementary control structures  On transformations of concurrent object programs  On bisimulations for the asynchronous ?calculus  On the expressiveness of internal mobility in namepassing calculi  Decoding choice encodings  Infinite results  Decidability of bisimulation equivalence for normed pushdown processes  The modal mucalculus alternation hierarchy is strict  Bisimulation collapse and the process taxonomy  On the expressive completeness of the propositional mucalculus with respect to monadic second order logic  A Facile tutorial  Testing probabilistic automata  ̂
 Extended Markovian Process Algebra  Rewriting logic as a semantic framework for concurrency: a progress report  Truly concurrent constraint programming  Constraints as processes  A calculus of mobile agents  Algebraic interpretation of lambda calculus with resources  Concurrent graph and term graph rewriting  Petri boxes and finite precedence  Constrained properties, semilinear systems, and Petri nets  Linear constraint systems as highlevel nets  A spaceefficient onthefly algorithm for realtime model checking  State equivalences for rectangular hybrid automata  Verifying abstractions of timed systems  Towards automatic temporal logic verification of value passing process algebra using abstract interpretation  Modelling and verification of Distributed Algorithms  An algorithmic approach for checking closure properties of ?regular languages  Towards automata for branching time and partial order  ̂
 Asynchronous cellular automata for pomsets without autoconcurrency  Action refinement and property inheritance in systems of sequential agents  A calculus for concurrent objects  Refinement in Interworkings  Equivalences of Statecharts  Modular verification for sharedvariable concurrent programs  The impact of hardware models on shared memory consistency conditions  Synchronous development of asynchronous systems
 Control code
 326688247
 Dimensions
 unknown
 Extent
 1 online resource (xii, 750 pages)
 Form of item
 online
 Isbn
 9783540706250
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/3540616047.
 Other physical details
 illustrations.
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)326688247
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/2Tp1_NP3SE/" 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/2Tp1_NP3SE/">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/2Tp1_NP3SE/" 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/2Tp1_NP3SE/">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>