9. CONCUR 1998: Nice, France

Davide Sangiorgi, Robert de Simone (Eds.): CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings. Lecture Notes in Computer Science 1466 Springer 1998, ISBN 3-540-64896-8 BibTeX

@proceedings{DBLP:conf/concur/1998,
  editor    = {Davide Sangiorgi and
               Robert de Simone},
  title     = {CONCUR '98: Concurrency Theory, 9th International Conference,
               Nice, France, September 8-11, 1998, Proceedings},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1466},
  year      = {1998},
  isbn      = {3-540-64896-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lecture

Moshe Y. Vardi:
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. 1-17
Electronic Edition (Springer LINK) BibTeX

Contributions

P. Madhusudan, P. S. Thiagarajan:
Controllers for Discrete Event Systems via Morphisms. 18-33
Electronic Edition (Springer LINK) BibTeX
Ron van der Meyden, Moshe Y. Vardi:
Synthesis from Knowledge-Based Specifications (Extended Abstract). 34-49
Electronic Edition (Springer LINK) BibTeX
Denis Lugiez, Ph. Schnoebelen:
The Regular Viewpoint on PA-Processes. 50-66
Electronic Edition (Springer LINK) BibTeX
Werner Damm, Amir Pnueli, Sitvanit Ruah:
Herbrand Automata for Hardware Verification. 67-83
Electronic Edition (Springer LINK) BibTeX
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
Control Flow Analysis for the pi-calculus. 84-98
Electronic Edition (Springer LINK) BibTeX
Joachim Parrow, Björn Victor:
The Tau-Laws of Fusion. 99-114
Electronic Edition (Springer LINK) BibTeX
José-Luis Vivas, Mads Dam:
From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. 115-130
Electronic Edition (Springer LINK) BibTeX
Nobuko Yoshida:
Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). 131-146
Electronic Edition (Springer LINK) BibTeX
Perdita Stevens:
Abstract Games for Infinite State Processes. 147-162
Electronic Edition (Springer LINK) BibTeX
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi:
Alternating Refinement Relations. 163-178
Electronic Edition (Springer LINK) BibTeX
Simone Veglioni, Rocco De Nicola:
Possible Worlds for Process Algebras. 179-193
Electronic Edition (Springer LINK) BibTeX

Invited Lecture

Jan J. M. M. Rutten:
Automata and Coinduction (An Exercise in Coalgebra). 194-218
Electronic Edition (Springer LINK) BibTeX

Contributions

Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger:
Axioms for Real-Time Logics. 219-236
Electronic Edition (Springer LINK) BibTeX
Holger Hermanns, Markus Lohrey:
Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). 237-252
Electronic Edition (Springer LINK) BibTeX
Parosh Aziz Abdulla, Karlis Cerans:
Simulation Is Decidable for One-Counter Nets (Extended Abstract). 253-268
Electronic Edition (Springer LINK) BibTeX
Peter Sewell:
From Rewrite to Bisimulation Congruences. 269-284
Electronic Edition (Springer LINK) BibTeX
Frank S. de Boer:
Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. 285-300
Electronic Edition (Springer LINK) BibTeX
Roberto M. Amadio, Sanjiva Prasad:
Modelling IP Mobility. 301-316
Electronic Edition (Springer LINK) BibTeX
Ernie Cohen, Leslie Lamport:
Reduction in TLA. 317-331
Electronic Edition (Springer LINK) BibTeX
Lisbeth Fajstrup, Eric Goubault, Martin Raußen:
Detecting Deadlocks in Concurrent Systems. 332-347
Electronic Edition (Springer LINK) BibTeX
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo:
Unfold/Fold Transformations of CCP Programs. 348-365
Electronic Edition (Springer LINK) BibTeX

Invited Tutorial

Benjamin C. Pierce:
Type Systems for Concurrent Calculi (Abstract). 364-365
Electronic Edition (Springer LINK) BibTeX

Invited Lecture

Ulrich Herzog:
Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract). 366-372
Electronic Edition (Springer LINK) BibTeX

Contributions

Albert Benveniste, Claude Jard, Stephane Gaubert:
Algebraic Techniques for Timed Systems. 373-388
Electronic Edition (Springer LINK) BibTeX
Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra. 389-404
Electronic Edition (Springer LINK) BibTeX
Mario Bravetti, Marco Bernardo, Roberto Gorrieri:
Towards Performance Evaluation with General Distributions in Process Algebras. 405-422
Electronic Edition (Springer LINK) BibTeX
Luca de Alfaro:
Stochastic Transition Systems. 423-438
Electronic Edition (Springer LINK) BibTeX

Invited Lecture

Thomas A. Henzinger:
It's About Time: Real-Time Logics Reviewed. 439-454
Electronic Edition (Springer LINK) BibTeX

Contributions

François Demichelis, Wieslaw Zielonka:
Controlled Timed Automata. 455-469
Electronic Edition (Springer LINK) BibTeX
Eugene Asarin, Oded Maler, Amir Pnueli:
On Discretization of Delays in Timed Automata and Digital Circuits. 470-484
Electronic Edition (Springer LINK) BibTeX
Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi:
Partial Order Reductions for Timed Systems. 485-500
Electronic Edition (Springer LINK) BibTeX
Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev:
Unfolding and Finite Prefix for Nets with Read Arcs. 501-516
Electronic Edition (Springer LINK) BibTeX
Dietrich Kuske:
Asynchronous Cellular Automata and Asynchronous Automata for Pomsets. 517-532
Electronic Edition (Springer LINK) BibTeX
Philippe Darondeau:
Deriving Unbounded Petri Nets from Formal Languages. 533-548
Electronic Edition (Springer LINK) BibTeX
Rémi Morin:
Decompositions of Asynchronous Systems. 549-564
Electronic Edition (Springer LINK) BibTeX
Marta Pietkiewicz-Koutny:
Synthesis of ENI-systems Using Minimal Regions. 565-580
Electronic Edition (Springer LINK) BibTeX
Gian Luca Cattani, John Power, Glynn Winskel:
A Categorical Axiomatics for Bisimulation. 581-596
Electronic Edition (Springer LINK) BibTeX
Eugene W. Stark:
Fibrational Semantics of Dataflow Networks. 597-612
Electronic Edition (Springer LINK) BibTeX
Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
A Relational Model of Non-deterministic Dataflow. 613-628
Electronic Edition (Springer LINK) BibTeX

Invited Tutorial

Jan Friso Groote, François Monin, Jaco van de Pol:
Checking Verifications of Protocols and Distributed Systems by Computer. 629-655
Electronic Edition (Springer LINK) BibTeX