The SCEAS System
Navigation Menu

Conferences in DBLP

International Conference on Concurrency Theory (CONCUR) (concur)
1997 (conf/concur/1997)

  1. Jeremy Gunawardena
    Recent Developments in the Mathematics of Reactive Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:1-4 [Conf]
  2. Y. S. Ramakrishna, Scott A. Smolka
    Partial-Order Reduction in the Weak Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:5-24 [Conf]
  3. M. W. Shields
    Cyclic Vector Languages. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:25-44 [Conf]
  4. Jesper G. Henriksen, P. S. Thiagarajan
    A Product Version of Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:45-58 [Conf]
  5. Martín Abadi, Andrew D. Gordon
    Reasoning about Cryptographic Protocols in the Spi Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:59-73 [Conf]
  6. Rajeev Alur, Thomas A. Henzinger
    Modularity for Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:74-88 [Conf]
  7. Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen
    A Universal Reactive Machine. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:89-103 [Conf]
  8. Jos C. M. Baeten, Jan A. Bergstra
    Bounded Stacks, Bags and Queues. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:104-118 [Conf]
  9. Girish Bhat, Doron Peled
    Adding Partial Orders to Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:119-134 [Conf]
  10. Ahmed Bouajjani, Javier Esparza, Oded Maler
    Reachability Analysis of Pushdown Automata: Application to Model-Checking. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:135-150 [Conf]
  11. Nadia Busi, G. Michele Pinna
    Synthesis of Nets with Inhibitor Arcs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:151-165 [Conf]
  12. Rance Cleaveland, Gerald Lüttgen, Michael Mendler
    An Algebraic Theory of Multiple Clocks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:166-180 [Conf]
  13. Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
    Horizontal and Vertical Structuring Techniques for Statecharts. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:181-195 [Conf]
  14. Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
    Implicit Typing à la ML for the Join-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:196-212 [Conf]
  15. Laurent Fribourg, Hans Olsén
    Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:213-227 [Conf]
  16. Rob J. van Glabbeek
    Axiomatizing Flat Iteration. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:228-242 [Conf]
  17. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
    Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:243-257 [Conf]
  18. David Harel, Orna Kupferman, Moshe Y. Vardi
    On the Complexity of Verifying Concurrent Transition Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:258-272 [Conf]
  19. Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
    Fair Simulation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:273-287 [Conf]
  20. Hanna Klaudel, Robert-C. Riemann
    High Level Expressions with their SOS Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:288-301 [Conf]
  21. Antonín Kucera
    How to Parallelize Sequential Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:302-316 [Conf]
  22. Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
    Causal Ambiguity and Partial Orders in Event Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:317-331 [Conf]
  23. Richard Mayr
    Model Checking PA-Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:332-346 [Conf]
  24. Anna Patterson
    Bisimulation and Propositional Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:347-360 [Conf]
  25. Anna Philippou, David Walker
    A Rigorous Analysis of Concurrent Operations on B-Trees. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:361-375 [Conf]
  26. Peter Selinger
    First-Order Axioms for Asynchrony. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:376-390 [Conf]
  27. Peter Sewell
    On Implementations and Semantics of a Concurrent Programming Language. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:391-405 [Conf]
  28. Harro Wimmel, Lutz Priese
    Algebraic Characterization of Petri Net Pomset Semantics. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:406-420 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002