Conferences in DBLP

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

1. Chris Hankin, Ian Mackie, Rajagopal Nagarajan
   Preface. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:- [Conf]
   
2. Samson Abramsky, Guy McCusker
   Games for Recursive Types. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:1-20 [Conf]
   
3. Michael Huth
   Interaction Orders as Games. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:21-40 [Conf]
   
4. Ian Mackie
   A Lambda-Evaluator Based on Interaction Nets. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:41-60 [Conf]
   
5. Andrew M. Pitts
   Completeness and Continuity Properties of Applicative Bisimulation. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:61- [Conf]
   
6. Simon J. Gay
   Combinators for Interaction Nets. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:63-84 [Conf]
   
7. Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
   An Internal Language for Interaction Categories. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:85-104 [Conf]
   
8. Dusko Pavlovic
   Categorical Logic of Concurrency and Interaction I: Synchronous Processes. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:105-141 [Conf]
   
9. Juarez Muylaert Filho
   Continuation Strictness Analysis of Lists. [Citation Graph (0, 0)][DBLP]
   Theory and Formal Methods, 1994, pp:143-166 [Conf]
   
10. Sarah Liebert
    Modularization and Priorities. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:167-179 [Conf]
    
11. Chrysafis Hartonas, Marta Z. Kwiatkowska
    Synchronisation Trees and Fairness: A Case Study. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:181-198 [Conf]
    
12. Steven Vickers
    Locales are Not Pointless. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:199-216 [Conf]
    
13. Gillian Hill
    Constructing Specifications and Modules in a KZ-doctrine. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:217-233 [Conf]
    
14. Martín Hötzel Escardó
    Recursion and Induction on the Real Line. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:259-282 [Conf]
    
15. François Lamarche
    From Chu Spaces to Cpos. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:283-305 [Conf]
    
16. David Clark, Lindsay Errington, Chris Hankin
    Static Analysis of Value-Passing Process Calculi. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:307-320 [Conf]
    
17. Steven Vickers
    Geometric logic as a Specification Language. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:321-340 [Conf]
    
18. Kevin Lano, S. J. Goldsack
    Refinement, Subtyping and Subclassing in VDM++. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:341-363 [Conf]
    
19. Mark Dawson, Steven Vickers
    Towards a GeoZ Toolkit. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:365-380 [Conf]
    
20. Thomas P. Jensen
    Denotational Semantics of Timed Dataflow Programs. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:381-396 [Conf]
    
21. Michael B. Smyth
    Inverse Limits of Graphs. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:397-409 [Conf]
    
22. Abbas Edalat
    Domain of Computation of a Random Field in Statistical Physics. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:411-430 [Conf]