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