Conferences in DBLP

Programming Concepts, Methods and Calculi (PROCOMET) (procomet)
1998 (conf/procomet/1998)

1. K. Rustan M. Leino
   Extended static checking. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:1-2 [Conf]
   
2. Carl-Johan H. Seger
   From lattices to practical formal hardware verification. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:3-4 [Conf]
   
3. David Scott Warren
   Programming with tabling in XSB. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:5-6 [Conf]
   
4. Werner Damm
   Verifying electronic control unit: today and tomorrow. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:7-8 [Conf]
   
5. David Gries
   Teaching calculational logic. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:9-10 [Conf]
   
6. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
   Types for trees. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:11-29 [Conf]
   
7. O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca
   Structures for lazy semantics. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:30-48 [Conf]
   
8. Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp
   A proof theory of asynchronously communicating sequential processes. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:49-67 [Conf]
   
9. Michele Boreale, Cédric Fournet, Cosimo Laneve
   Bisimulations in the join-calculus. [Citation Graph (0, 0)][DBLP]
   PROCOMET, 1998, pp:68-86 [Conf]
   
10. Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
    Using state space exploration and a natural deduction style message derivation engine to verify security protocols. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:87-106 [Conf]
    
11. Karl Crary
    Programming language semantics in foundational type theory. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:107-125 [Conf]
    
12. Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
    An algebraic approach to the specification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:126-147 [Conf]
    
13. Ewen Denney
    Refinement types for specification. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:148-166 [Conf]
    
14. A. J. M. van Gasteren, A. Bijlsma
    An extension of the program derivation format. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:167-185 [Conf]
    
15. Ian J. Hayes, Mark Utting
    Deadlines are termination. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:186-204 [Conf]
    
16. Wim H. Hesselink
    The design of a linearization of a concurrent data object. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:205-224 [Conf]
    
17. Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore
    Final semantics for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:225-243 [Conf]
    
18. Michael Huth, Marta Z. Kwiatkowska
    Comparing CTL and PCTL on labeled Markov chains. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:244-262 [Conf]
    
19. Richard B. Kieburtz
    Reactive functional programming. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:263-284 [Conf]
    
20. Josva Kleist, Davide Sangiorgi
    Imperative objects and mobile processes. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:285-303 [Conf]
    
21. Orna Kupferman, Moshe Y. Vardi
    Relating linear and branching model checking. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:304-326 [Conf]
    
22. Zhiming Liu, Anders P. Ravn, Xiaoshan Li
    Verifying duration properties of timed transition systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:327-345 [Conf]
    
23. David A. Naumann
    Towards squiggly refinement algebra. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:346-365 [Conf]
    
24. Paritosh K. Pandya, H.-P. Wang, Qiwen Xu
    Toward a theory of sequential hybrid programs. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:366-384 [Conf]
    
25. Cécile Péraire, Stéphane Barbey, Didier Buchs
    Test selection for object-oriented software based on formal specifications. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:385-403 [Conf]
    
26. Arnd Poetzsch-Heffter, Peter Müller
    Logical foundations for typed object-oriented languages. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:404-423 [Conf]
    
27. Shaz Qadeer, Natarajan Shankar
    Verifying a self-stabilizing mutual exclusion algorithm. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:424-443 [Conf]
    
28. Z. Qiu, C. Zhou
    A combination of interval logic and linear temporal logic. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:444-461 [Conf]
    
29. Axel Wabenhorst
    A model of real-time distributed systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:462-482 [Conf]