| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Jonathan Billington 25 Chun Ouyang , Lars Michael Kristensen , Jonathan Billington: A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002 : 377-387 24 Abhishek Singh , Jonathan Billington: A Formal Service Specification for IIOP based on ISO/IEC 14752. FMOODS 2002 : 111-125 23 Steven Gordon , Lars Michael Kristensen , Jonathan Billington: Verification of a Revised WAP Wireless Transaction Protocol. ICATPN 2002 : 182-202 22 Lin Liu , Jonathan Billington: Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. ICATPN 2002 : 273-293 21 Chun Ouyang , Lars Michael Kristensen , Jonathan Billington: A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002 : 352-373 20 Steven Gordon , Jonathan Billington: Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. ICATPN 2000 : 207-226 19 Jonathan Billington, Michel Diaz , Grzegorz Rozenberg : Application of Petri Nets to Communication Networks, Advances in Petri Nets. Springer 1999 18 A. Tokmakoff , Jonathan Billington: An Approach to the Analysis of Interworking Traders. ICATPN 1999 : 127-146 17 Steven Gordon , Jonathan Billington: Modelling the WAP Transaction Service using Coloured Petri Nets. MDA 1999 : 109-118 16 Steven Gordon , Jonathan Billington: Analysing a Missile Simulator with Coloured Petri Nets. STTT 2 (2): 144-159 (1998) 15 Jonathan Billington, Wolfgang Reisig : Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Springer 1996 14 D. J. Floreani , Jonathan Billington, A. J. Dadej : Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. Application and Theory of Petri Nets 1996 : 153-171 13 Jonathan Billington: Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. Petri Nets (2) 1996 : 293-330 12 Jonathan Billington: ISO Standards in Software Engineering. Software Quality and Productivity 1994 : 189-192 11 Jonathan Billington, Geoff Wheeler , Brian Keck , Ken R. Parker : Tool Demonstration: FORSEE. FORTE 1991 : 457-461 10 Jonathan Billington: Many-Sorted High-Level Nets. PNPM 1989 : 166-179 9 Jonathan Billington: Extensions to Coloured Petri Nets. PNPM 1989 : 61-70 8 Jonathan Billington: A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. Specification and Verification of Concurrent Systems 1988 : 526-556 7 Jonathan Billington, Geoffrey R. Wheeler , Michael C. Wilbur-Ham : PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. TSE 14 (3): 301-316 (1988) 6 Geoffrey R. Wheeler , Timothy J. Batten , Jonathan Billington, Michael C. Wilbur-Ham : A Methodology for Protocol Engineering. ICCC 1986 : 525-530 5 Geoffrey R. Wheeler , Michael C. Wilbur-Ham , Jonathan Billington, J. A. Gilmour : Protocol analysis using numerical Petri nets. Applications and Theory in Petri Nets 1985 : 435-452 4 Jonathan Billington: On Specifying Performance Aspects of Protocol Services. PNPM 1985 : 288-295 3 Jonathan Billington, Michael C. Wilbur-Ham , M. Y. Bearman : Automated protocol verification. PSTV 1985 : 59-70 2 Jonathan Billington: Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. Protocol Specification, Testing, and Verification 1983 : 173-185 1 Jonathan Billington: Specification of the Transport Service Using Numerical Petri Nets. PSTV 1982 : 77-100  DiSC'03 © 2003 Association for Computing Machinery |
