PROCOMET

Keyphrases

Publications

1998

Michael Huth, Marta Z. Kwiatkowska
Comparing CTL and PCTL on labeled Markov chains. PROCOMET (1998)
Josva Kleist, Davide Sangiorgi
Imperative objects and mobile processes. PROCOMET (1998)
Arnd Poetzsch-Heffter, Peter Müller
Logical foundations for typed object-oriented languages. PROCOMET (1998)
Zhiming Liu, Anders P. Ravn, Xiaoshan Li
Verifying duration properties of timed transition systems. PROCOMET (1998)
Werner Damm
Verifying electronic control unit: today and tomorrow. PROCOMET (1998)
David Gries
Teaching calculational logic. PROCOMET (1998)
Michele Boreale, Cédric Fournet, Cosimo Laneve
Bisimulations in the join-calculus. PROCOMET (1998)
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
An algebraic approach to the specification of stochastic systems. PROCOMET (1998)
Cécile Péraire, Stéphane Barbey, Didier Buchs
Test selection for object-oriented software based on formal specifications. PROCOMET (1998)
K. Rustan M. Leino
Extended static checking. PROCOMET (1998)
Orna Kupferman, Moshe Y. Vardi
Relating linear and branching model checking. PROCOMET (1998)
Ewen Denney
Refinement types for specification. PROCOMET (1998)
Z. Qiu, C. Zhou
A combination of interval logic and linear temporal logic. PROCOMET (1998)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Types for trees. PROCOMET (1998)
Carl-Johan H. Seger
From lattices to practical formal hardware verification. PROCOMET (1998)
David Scott Warren
Programming with tabling in XSB. PROCOMET (1998)
Wim H. Hesselink
The design of a linearization of a concurrent data object. PROCOMET (1998)
Paritosh K. Pandya, H.-P. Wang, Qiwen Xu
Toward a theory of sequential hybrid programs. PROCOMET (1998)
Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp
A proof theory of asynchronously communicating sequential processes. PROCOMET (1998)
Ian J. Hayes, Mark Utting
Deadlines are termination. PROCOMET (1998)
O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca
Structures for lazy semantics. PROCOMET (1998)
Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore
Final semantics for the pi-calculus. PROCOMET (1998)
Axel Wabenhorst
A model of real-time distributed systems. PROCOMET (1998)
A. J. M. van Gasteren, A. Bijlsma
An extension of the program derivation format. PROCOMET (1998)
Richard B. Kieburtz
Reactive functional programming. PROCOMET (1998)
Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
Using state space exploration and a natural deduction style message derivation engine to verify security protocols. PROCOMET (1998)
David A. Naumann
Towards squiggly refinement algebra. PROCOMET (1998)
Shaz Qadeer, Natarajan Shankar
Verifying a self-stabilizing mutual exclusion algorithm. PROCOMET (1998)
Karl Crary
Programming language semantics in foundational type theory. PROCOMET (1998)

volume 125, 1998

Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA PROCOMET 125 (1998)

1994