CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings / Davide Sangiorgi, Robert de Simone (eds.).
| Author/creator | International Conference on Concurrency Theory |
| Other author | Sangiorgi, Davide, editor. |
| Other author | Simone, Robert de, editor. |
| Format | Book |
| Publication | Berlin : Springer, 1998. |
| Description | xi, 657 pages : illustrations ; 24 cm. |
| Subjects |
| Portion of title | Concurrency theory |
| Portion of title | CONCUR'98 |
| Variant title | CONCUR 1998 |
| Series | Lecture notes in computer science, 0302-9743 ; 1466 Lecture notes in computer science ; 1466. ^A466336 |
| Contents | Sometimes and Not Never Re-revisited: On Branching Versus Linear Time / M. Y. Vardi -- Controllers for Discrete Event Systems via Morphisms / P. Madhusudan and P. S. Thiagarajan -- Synthesis from Knowledge-Based Specifications / R. van der Meyden and M. Y. Vardi -- The Regular Viewpoint on PA-Processes / D. Lugiez and Ph. Schnoebelen -- Herbrand Automata for Hardware Verification / W. Damm, A. Pnueli and S. Ruah -- Control Flow Analysis for the pi-calculus / C. Bodei, P. Degano and F. Nielson -- The Tau-Laws of Fusion / J. Parrow and B. Victor -- From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators / J.-L. Vivas and M. Dam -- Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators / N. Yoshida -- Abstract Games for Infinite State Processes / P. Stevens -- Alternating Refinement Relations / R. Alur, T. A. Henzinger and O. Kupferman -- Possible Worlds for Process Algebras / S. Veglioni and R. De Nicola -- Automate and Coinduction (an Exercise in Coalgebra) / J. J. M. M. Rutten -- Axioms for Real-Time Logics / J.-F. Raskin, P.-Y. Schobbens and T. A. Henzinger -- Priority and Maximal Progress are Completely Axiomatisable / H. Hermanns and M. Lohrey -- Simulation is Decidable for One-counter Nets / P. A. Abdulla and K. Cerans -- From Rewrite Rules to Bisimulation Congruences / P. Sewell -- Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures / F. S. de Boer |
| Contents | Modelling IP Mobility / R. M. Amadio and S. Prasad -- Reduction in TLA / E. Cohen and L. Lamport -- Detecting Deadlocks in Concurrent Systems / L. Fajstrup, E. Goubault and M. Raussen -- Unfold/Fold Transformations of CCP Programs / S. Etalle, M. Gabbrielli and M. C. Meo -- Type Systems for Concurrent Calculi / B. C. Pierce -- Stochastic Process Algebras: Benefits for Performance Evaluation and Challenges / U. Herzog -- Algebraic Techniques for Timed Systems / A. Benveniste, C. Jard and S. Gaubert -- Probabilistic Resource Failure in Real-Time Process Algebra / A. Philippou, R. Cleaveland and I. Lee -- Towards Performance Evaluation with General Distributions in Process Algebras / M. Bravetti, M. Bernardo and R. Gorrieri -- Stochastic Transition Systems / L. de Alfaro -- It's About Time: Real-Time Logics Reviewed / T. A. Henzinger -- Controlled Timed Automata / F. Demichelis and W. Zielonka -- On Discretization of Delays in Timed Automata and Digital Circuits / E. Asarin, O. Maler and A. Pnueli -- Partial Order Reductions for Timed Systems / J. Bengtsson, B. Jonsson and J. Lilius -- Unfolding and Finite Prefix for Nets with Read Arcs / W. Vogler, A. Semenov and A. Yakovlev -- Asynchronous Cellular Automata and Asynchronous Automata for Pomsets / D. Kuske -- Deriving Unbounded Petri Nets from Formal Languages / Ph. Darondeau -- Decompositions of Asynchronous Systems / R. Morin -- Synthesis of ENI-systems Using Minimal Regions / M. Pietkiewicz-Koutny |
| Contents | A Categorical Axiomatics for Bisimulation / G. L. Cattani, J. Power and G. Winskel -- Fibrational Semantics of Dataflow Networks / E. W. Stark -- A Relational Model of Non-deterministic Dataflow / T. Hildebrandt, P. Panangaden and G. Winskel -- Checking Verifications of Protocols and Distributed Systems by Computer / J. F. Groote, F. Monin and J. C. van de Pol. |
| Bibliography note | Includes bibliographical references and index. |
| Genre/form | Conference papers and proceedings. |
| ISBN | 3540648968 (paperback) |
| ISBN | 9783540648963 (paperback) |