Research Catalog

Title

Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari, Vladimiro Sassone, eds.

Author

International Conference on Concurrency Theory (7th : 1996 : Pisa, Italy)

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Montanari, U. (Ugo)
• Sassone, Vladimiro.

Description

xii, 750 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1119

Uniform Title

Lecture notes in computer science ; 1119.

Subject

Parallel processing (Electronic computers) > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Retracing Some Paths in Process Algebra / Samson Abramsky -- Process Calculus Based Upon Evaluation to Committed Form / Andrew Pitts and Joshua Ross -- A Process Algebra with Distributed Priorities / Rance Cleaveland, Gerald Luttgen and Vaidhyanathan Natarajan -- Symbolic Transition Graph with Assignment / Huimin Lin -- Models for Concurrent Constraint Programming / Vineet Gupta, Radha Jagadeesan and Vijay Saraswat -- Comparing Transition Systems with Independence and Asynchronous Transition Systems / Thomas Hildebrandt and Vladimiro Sassone -- A Presheaf Semantics of Value-Passing Processes / Glynn Winskel -- Elementary Control Structures / John Power -- On Transformations of Concurrent Object Programs / Anna Philippou and David Walker -- On Bisimulations for the Asynchronous [pi]-Calculus / Roberto Amadio, Ilaria Castellani and Davide Sangiorgi -- On the Expressiveness of Internal Mobility in Name-Passing Calculi / Michele Boreale --
• Decoding Choice Encodings / Uwe Nestmann and 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 and Bernhard Steffen -- On the Expressive Completeness of the Propositional mu-Calculus with Respect to the Monadic Second Order Logic / David Janin and Igor Walukiewicz -- A Facile Tutorial / Bent Thomsen, Lone Leth and Tsung-Min Kuo -- Testing Probabilistic Automata / Roberto Segala -- Extended Markovian Process Algebra / Marco Bernardo and Roberto Gorrieri -- Rewriting Logic as a Semantic Framework for Concurrency: A Progress Report / Jose Meseguer -- Truly Concurrent Constraint Programming / Vineet Gupta, Radha Jagadeesan and Vijay Saraswat -- Constraints as Processes / Bjorn Victo and Joachim Parrow --
• A Calculus of Mobile Agents / Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget and Didier Remy -- 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 and Peter Habermehl -- Linear Constraint Systems as High-Level Nets / Eike Best and Catuscia Palamidessi -- A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking / Thomas Henzinger, Orna Kupferman and Moshe Vardi -- State Equivalences for Rectangular Hybrid Automata / Thomas Henzinger and Peter Kopke -- Verifying Abstractions of Timed Systems / Serdar Tasiran, Rajeev Alur, Robert Kurshan and Robert Brayton -- Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation / Alessandro Fantechi, Stefania Gnesi and 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 and Pierre Wolper -- Towards Automata for Branching Time and Partial Order / Michaela Huhn and Peter Niebert -- Asynchronous Cellular Automata for Pomsets without Auto-Concurrency / Manfred Droste and Paul Gastin -- Action Refinement and Property Inheritance in Systems of Sequential Agents / Michaela Huhn -- A Calculus for Concurrent Objects / Paolo Di Blasio and Kathleen Fisher -- Refinement in Interworkings / Sjouke Mauw and Michel Reniers -- Equivalences of Statecharts / Andrea Maggiolo-Schettini, Adriano Peron and Simone Tini -- Modular Verification for Shared-Variable Concurrent Programs / Jurgen Dingel -- The Impact of Hardware Models on Shared Memory Consistency Conditions / Jerry James and Ambuj Singh -- Synchronous Development of Asynchronous Systems / Clemens Fischer and Wil Janssen.

ISBN

3540616047

OCLC

ocm35576650

Owning Institutions

Columbia University Libraries