default search action

combined dblp search
author search
venue search
publication search

ask others

6th CONCUR 1995: Philadelphia, PA, USA

> Home > Conferences and Workshops > CONCUR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/concur/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/1995
Insup Lee, Scott A. Smolka:
CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings. Lecture Notes in Computer Science 962, Springer 1995, ISBN 3-540-60218-6

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Stirling95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Stirling95
Colin Stirling:
Lokal Model Checking Games. 1-11

Model Checking I

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Dam95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Dam95
Mads Dam:
Compositional Proof Systems for Model Checking Infinite State Processes. 12-26
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LaroussinieL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LaroussinieL95
François Laroussinie, Kim Guldstrand Larsen:
Compositional Model Checking of Real Time Systems. 27-41

Mobile Processes I

- view
  authority control:
- export record
  dblp key:
  - conf/concur/MontanariP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/MontanariP95
Ugo Montanari, Marco Pistore:
Checking Bisimilarity for Finitary pi-Calculus. 42-56
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FerrariMQ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FerrariMQ95
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
The Weak Late pi-Calculus Semantics as Observation Equivalence. 57-71

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/concur/SteffenCKKM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/SteffenCKKM95
Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria:
The Fixpoint-Analysis Machine. 72-87

Mobile Processes II

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Lin95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Lin95
Huimin Lin:
Unique Fixpoint Induction for Mobile Processes. 88-102
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LiuW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LiuW95
Xinxin Liu, David Walker:
A Polymorphic Type System for the Polyadic pi-calculus. 103-116

Process Theory

- view
  authority control:
- export record
  dblp key:
  - conf/concur/HermidaP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HermidaP95
Claudio Hermida, John Power:
Fibrational Control Structures. 117-129
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CorradiniNL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CorradiniNL95
Flavio Corradini, Rocco De Nicola, Anna Labella:
Fully Abstract Models for Nondeterministic Regular Expressions. 130-144

True Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/concur/BusiG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BusiG95
Nadia Busi, Roberto Gorrieri:
A Petri Net Semantics for pi-Calculus. 145-159
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Rensink95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Rensink95
Arend Rensink:
A Complete Theory of Deterministic Event Structures. 160-174
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NielsenPS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NielsenPS95
Mogens Nielsen, Lutz Priese, Vladimiro Sassone:
Characterizing Behavioural Congruences for Petri Nets. 175-189

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Vaandrager95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Vaandrager95
Frits W. Vaandrager:
Verification of a Distributed Summation Algorithm. 190-203

Process Algebra I

- view
  authority control:
- export record
  dblp key:
  - conf/concur/GrooteS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GrooteS95
Jan Friso Groote, M. P. A. Sellink:
Confluence for Process Verification. 204-218
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Ulidowski95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Ulidowski95
Irek Ulidowski:
Axiomatisations of Weak Equivalences for De Simone Languages. 219-233

Probabilistic Automata

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Segala95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Segala95
Roberto Segala:
A Compositional Trace-Based Semantics for Probabilistic Automata. 234-248
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NunezFL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NunezFL95
Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz:
Acceptance Trees for Probabilistic Processes. 249-263

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Harel95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Harel95
David Harel:
Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. 264-268

Real-Time Systems I

- view
  authority control:
- export record
  dblp key:
  - conf/concur/BryansDS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BryansDS95
Jeremy W. Bryans, Jim Davies, Steve A. Schneider:
Towards a denotational semantics for ET-LOTOS. 269-283
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Wang95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Wang95
Farn Wang:
Reachability Analysis at Procedure Level through Timing Coincidence. 284-298

Testing Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Vogler95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Vogler95
Walter Vogler:
Faster Asynchronous Systems. 299-312
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BrinksmaRV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BrinksmaRV95
Ed Brinksma, Arend Rensink, Walter Vogler:
Fair Testing. 313-327

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Craigen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Craigen95
Dan Craigen:
Formal Methods Technology Transfer: Impediments and Innovation (Abstract). 328-332

Decidability Results

- view
  authority control:
- export record
  dblp key:
  - conf/concur/AbdullaK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AbdullaK95
Parosh Aziz Abdulla, Mats Kindahl:
Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). 333-347
- view
  authority control:
- export record
  dblp key:
  - conf/concur/JancarM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/JancarM95
Petr Jancar, Faron Moller:
Checking Regular Properties of Petri Nets. 348-362

Refinement Theory

- view
  authority control:
- export record
  dblp key:
  - conf/concur/BonsangueKV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BonsangueKV95
Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink:
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. 363-377
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Siegel95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Siegel95
Michael Siegel:
A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. 378-392

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Emerson95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Emerson95
E. Allen Emerson:
Efficient Automation of Temporal Reasoning. 393-394

Model Checking II

- view
  authority control:
- export record
  dblp key:
  - conf/concur/ClarkeGJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ClarkeGJ95
Edmund M. Clarke, Orna Grumberg, Somesh Jha:
Veryfying Parameterized Networks using Abstraction and Regular Languages. 395-407
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KupfermanV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KupfermanV95
Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Branching Modular Model Checking (Extended Abstract). 408-422

Linear-Time Logics

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Kaivola95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Kaivola95
Roope Kaivola:
Axiomatising Linear Time Mu-calculus. 423-437
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Thiagarajan95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Thiagarajan95
P. S. Thiagarajan:
A Trace Consistent Subset of PTL. 438-452

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Holzmann95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Holzmann95
Gerard J. Holzmann:
Tutorial: Proving Properties of Concurrent System with SPIN. 453-455

Mobile Processes III

- view
  authority control:
- export record
  dblp key:
  - conf/concur/PhilippouW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/PhilippouW95
Anna Philippou, David Walker:
On Sharing and Determinacy in Concurrent Systems. 456-470
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BrockO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BrockO95
Simon Brock, Gerald Ostheimer:
Process Semantics of Graph Reduction. 471-485

Process Algebra II

- view
  authority control:
- export record
  dblp key:
  - conf/concur/HennessyR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HennessyR95
Matthew Hennessy, Julian Rathke:
Bisimulations for a Calculus of Broadcasting Systems. 486-500
- view
  authority control:
- export record
  dblp key:
  - conf/concur/DArgenioM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DArgenioM95
Pedro R. D'Argenio, Sjouke Mauw:
Delayed choice for process algebra with abstraction. 501-515

Real-Time Systems II

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Cerans95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Cerans95
Karlis Cerans:
CTR: A Calculus of Timed Refinement. 516-530
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BouajjaniL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BouajjaniL95
Ahmed Bouajjani, Yassine Lakhnech:
Temporal Logic + Timed Automata: Expressiveness and Decidability. 531-545

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.