Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
SIGMOD RECORD 2002
ADBIS 2002
CIKM 2002
CoopIS 2002
EDBT 2002
ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
SIGIR 2002
SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002
About DiSC 2003
Editorial Board
Acknowledgements
DiSC 2003 Production
ADVIS
DiSC'03 Feedback
DiSC'03 Sitemap
Search DiSC'03
<<<Author Index>>>
Copyright Notice

Lars Michael Kristensen

Papers on DiSC'03


A Formal and Executable Specification of the Internet Open Trading Protocol

Publications


Note: Links lead to the DBLP on the Web.

Lars Michael Kristensen

13 Chun Ouyang , Lars Michael Kristensen, Jonathan Billington : A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002 : 377-387

12 Lars Michael Kristensen, Thomas Mailund : A Generalised Sweep-Line Method for Safety Properties. FME 2002 : 549-567

11 Lars Michael Kristensen, Thomas Mailund : A Compositional Sweep-Line State Space Exploration Method. FORTE 2002 : 327-343

10 Steven Gordon , Lars Michael Kristensen, Jonathan Billington : Verification of a Revised WAP Wireless Transaction Protocol. ICATPN 2002 : 182-202

9 Chun Ouyang , Lars Michael Kristensen, Jonathan Billington : A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002 : 352-373

8 Søren Christensen , Lars Michael Kristensen, Thomas Mailund : Condensed State Spaces for Timed Petri Nets. ICATPN 2001 : 101-120

7 Søren Christensen , Lars Michael Kristensen, Thomas Mailund : A Sweep-Line Method for State Space Exploration. TACAS 2001 : 450-464

6 Lars Michael Kristensen, Antti Valmari : Improved Question-Guided Stubborn Set Methods for State Properties. ICATPN 2000 : 282-302

5 Louise Lorentsen , Lars Michael Kristensen: Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. ICATPN 2000 : 346-366

4 Jens Bæk Jørgensen , Lars Michael Kristensen: Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. IEEE Transactions on Parallel and Distributed Systems 10 (7): 714-732 (1999)

3 Lars Michael Kristensen, Antti Valmari : Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. ICATPN 1998 : 104-123

2 Lars Michael Kristensen, Søren Christensen , Kurt Jensen : The Practitioner's Guide to Coloured Petri Nets. STTT 2 (2): 98-132 (1998)

1 Søren Christensen , Jens Bæk Jørgensen , Lars Michael Kristensen: Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997 : 209-223




DiSC'03 © 2003 Association for Computing Machinery