default search action
PROCOMET 1998: Shelter Island, NY, USA
- David Gries, Willem P. de Roever:
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. IFIP Conference Proceedings 125, Chapman & Hall 1998, ISBN 0-412-83760-9 - K. Rustan M. Leino:
Extended static checking. PROCOMET 1998: 1-2 - Carl-Johan H. Seger:
From lattices to practical formal hardware verification. PROCOMET 1998: 3-4 - David Scott Warren:
Programming with tabling in XSB. PROCOMET 1998: 5-6 - Werner Damm:
Verifying electronic control unit: today and tomorrow. PROCOMET 1998: 7-8 - David Gries:
Teaching calculational logic. PROCOMET 1998: 9-10 - Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries:
Types for trees. PROCOMET 1998: 11-29 - Olivier Bastonero, Alberto Pravato, Simona Ronchi Della Rocca:
Structures for lazy semantics. PROCOMET 1998: 30-48 - Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp:
A proof theory of asynchronously communicating sequential processes. PROCOMET 1998: 49-67 - Michele Boreale, Cédric Fournet, Cosimo Laneve:
Bisimulations in the join-calculus. PROCOMET 1998: 68-86 - 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: 87-106 - Karl Crary:
Programming language semantics in foundational type theory. PROCOMET 1998: 107-125 - Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma:
An algebraic approach to the specification of stochastic systems. PROCOMET 1998: 126-147 - Ewen Denney:
Refinement types for specification. PROCOMET 1998: 148-166 - A. J. M. van Gasteren, A. Bijlsma:
An extension of the program derivation format. PROCOMET 1998: 167-185 - Ian J. Hayes, Mark Utting:
Deadlines are termination. PROCOMET 1998: 186-204 - Wim H. Hesselink:
The design of a linearization of a concurrent data object. PROCOMET 1998: 205-224 - Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore:
Final semantics for the pi-calculus. PROCOMET 1998: 225-243 - Michael Huth, Marta Z. Kwiatkowska:
Comparing CTL and PCTL on labeled Markov chains. PROCOMET 1998: 244-262 - Richard B. Kieburtz:
Reactive functional programming. PROCOMET 1998: 263-284 - Josva Kleist, Davide Sangiorgi:
Imperative objects and mobile processes. PROCOMET 1998: 285-303 - Orna Kupferman, Moshe Y. Vardi:
Relating linear and branching model checking. PROCOMET 1998: 304-326 - Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345 - David A. Naumann:
Towards squiggly refinement algebra. PROCOMET 1998: 346-365 - Paritosh K. Pandya, H.-P. Wang, Qiwen Xu:
Toward a theory of sequential hybrid programs. PROCOMET 1998: 366-384 - Cécile Péraire, Stéphane Barbey, Didier Buchs:
Test selection for object-oriented software based on formal specifications. PROCOMET 1998: 385-403 - Arnd Poetzsch-Heffter, Peter Müller:
Logical foundations for typed object-oriented languages. PROCOMET 1998: 404-423 - Shaz Qadeer, Natarajan Shankar:
Verifying a self-stabilizing mutual exclusion algorithm. PROCOMET 1998: 424-443 - Z. Qiu, C. Zhou:
A combination of interval logic and linear temporal logic. PROCOMET 1998: 444-461 - Axel Wabenhorst:
A model of real-time distributed systems. PROCOMET 1998: 462-482
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: