Conferences in DBLP

REX (Research and Education in Concurrent Systems) - Workshops (rex)
1992 (conf/rex/1992)

1. Ralph-Johan Back, Joakim von Wright
   Predicate Transformers and Higher Order Logic. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:1-20 [Conf]
   
2. Eric Badouel, Philippe Darondeau
   Trace Nets. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:21-50 [Conf]
   
3. Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
   Proving Total Correctness of Programs in Weak Second-Order Logic. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:51-72 [Conf]
   
4. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
   On Blocks: Locality and Asynchronous Communication (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:73-90 [Conf]
   
5. Marcello M. Bonsangue, Joost N. Kok
   Semantics, Orderings and Recursion in the Weakest Precondition Calculus. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:91-109 [Conf]
   
6. Andrea Corradini, Andrea Asperti
   A Categorial Model for Logic Programs: Indexed Monoidal Categories. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:110-137 [Conf]
   
7. Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini
   A Categorial View of Process Refinement. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:138-153 [Conf]
   
8. Abbas Edalat, Michael B. Smyth
   Compact Metric Information Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:154-173 [Conf]
   
9. Anton Eliëns, Erik P. de Vink
   Asynchronous Rendez-vous in Distributed Logic Programming. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:174-203 [Conf]
   
10. Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
    New Semantic Tools for Logic Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:204-235 [Conf]
    
11. Wim H. Hesselink, Ronald Reinds
    Temporal Preconditions of Recursive Procedures. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:236-260 [Conf]
    
12. Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer
    Towards an Epistemic Approach to Reasoning about Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:261-287 [Conf]
    
13. Eiichi Horita
    A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:288-317 [Conf]
    
14. Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen
    SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:318-347 [Conf]
    
15. Marta Z. Kwiatkowska
    Infinite Behaviour and Fairness in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:348-383 [Conf]
    
16. Michael W. Mislove, Frank J. Oles
    Full Abstraction and Unnested Recursion. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:384-397 [Conf]
    
17. Peter D. Mosses
    On the Action Semantics of Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:398-424 [Conf]
    
18. Flemming Nielson, Hanne Riis Nielson
    Layered Predicates. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:425-456 [Conf]
    
19. Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely
    A Hyperdoctrinal View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:457-476 [Conf]
    
20. Jan J. M. M. Rutten, Daniele Turi
    On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:477-530 [Conf]
    
21. Viggo Stoltenberg-Hansen, J. V. Tucker
    Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:531-562 [Conf]
    
22. Bent Thomsen, Lone Leth, Alessandro Giacalone
    Some Issues in the Semantics of Facile Distributed Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:563-593 [Conf]
    
23. Rob T. Udink, Joost N. Kok
    On the Relation Between Unity Properties and Sequences of States. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:594-608 [Conf]
    
24. Frits W. Vaandrager
    Expressive Results for Process Algebras. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:609-638 [Conf]
    
25. Sam Weber, Bard Bloom, Geoffrey Brown
    Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:639-659 [Conf]