Conferences in DBLP

Imperial College Workshops (imperial)
1993 (conf/imperial/1993)

1. Geoffrey L. Burn
   The Abstract Interpretation of Functional Languages. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:3-14 [Conf]
   
2. Roy L. Crole
   Deriving Category Theory from Type Theory. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:15-26 [Conf]
   
3. Chris Hankin
   Graph Rewriting Systems and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:27-36 [Conf]
   
4. Steven Vickers
   Geometric Logic in Computer Science. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:37-54 [Conf]
   
5. Samson Abramsky
   Interaction Categories. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:57-69 [Conf]
   
6. Mark Dawson
   Animating LU. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:70-81 [Conf]
   
7. Abbas Edalat
   Dynamical Systems, Measures and Fractals Via Domain Theory. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:82-99 [Conf]
   
8. Abbas Edalat
   Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:100-114 [Conf]
   
9. Lindsay Errington, Chris Hankin, Thomas P. Jensen
   Reasoning About Gamma Programs. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1993, pp:115-125 [Conf]
   
10. José Luiz Fiadeiro, T. S. E. Maibaum
    Generalising Interpretations between Theories in the context of (pi-) Institutions. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:126-147 [Conf]
    
11. Simon J. Gay, Rajagopal Nagarajan
    Modelling SIGNAL in Interaction Categories. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:148-158 [Conf]
    
12. Reinhold Heckmann
    Product Operations in Strong Monads. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:159-170 [Conf]
    
13. Michael Huth
    On the Equivalence of State-Transition Systems. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:171-182 [Conf]
    
14. Stuart Kent
    Towards a Modal Logic of Durative Actions. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:183-194 [Conf]
    
15. Marta Z. Kwiatkowska
    Concurrency, Fairness and Logical Complexity. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:195-208 [Conf]
    
16. Marta Z. Kwiatkowska, Iain Phillips
    Concurrency and Conflict in CSP. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:209-225 [Conf]
    
17. Sarah Liebert
    A Complete Axiom System for CCS with a Stability Operator. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:226-234 [Conf]
    
18. Ian Mackie, Leopoldo Román, Samson Abramsky
    An Internal Language for Autonomous Categories. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:235-246 [Conf]
    
19. Juarez Muylaert Filho, Geoffrey L. Burn
    Continuation Passing Transformation and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:247-259 [Conf]
    
20. Iain Phillips
    A Note on Expressiveness of Process Algebra. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:260-264 [Conf]
    
21. Mark Ryan
    Prioritising Preference Relations. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:265-275 [Conf]
    
22. David Sands
    Laws of Parallel Synchronised Termination. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:276-288 [Conf]
    
23. Zvi Schreiber
    Implementing Process Calculi in C. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:289-301 [Conf]
    
24. Paul Taylor
    An Exact Interpretation of While. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:302-313 [Conf]
    
25. Irek Ulidowski
    Congrurences for tau-Respecting Formats of Rules. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:314-325 [Conf]