Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007418853/catalog> ?p ?o. }

Showing items 1 to 32 of 32 with 100 items per page.

catalog abstract ""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.".
catalog alternative "Concurrency theory".
catalog contributor b10241115.
catalog contributor b10241116.
catalog contributor b10241117.
catalog created "c1996.".
catalog date "1996".
catalog date "c1996.".
catalog dateCopyrighted "c1996.".
catalog description ""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.".
catalog description "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 [and others] -- 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 -- ".
catalog description "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.".
catalog description "Includes bibliographical references and index.".
catalog description "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 [and others] -- ".
catalog description "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 -- ".
catalog extent "xii, 750 p. :".
catalog identifier "3540616047".
catalog isPartOf "Lecture notes in computer science ; 1119".
catalog issued "1996".
catalog issued "c1996.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "Parallel processing (Electronic computers) Congresses.".
catalog subject "QA76.58 .I53 1996".
catalog tableOfContents "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 [and others] -- 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 -- ".
catalog tableOfContents "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.".
catalog tableOfContents "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 [and others] -- ".
catalog tableOfContents "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 -- ".
catalog title "Concur '96, concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari, Vladimiro Sassone, eds.".
catalog title "Concurrency theory".
catalog type "Conference proceedings. fast".
catalog type "text".