( en | de | ru )

 

Disambiguation of "Stoddart, Bill"

Author of the publication

copydeleteadd this publication to your clipboard
The Halting Paradox.

. CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ralf Bill

Anke Bill

Georg Bill

Albert Bill

Joachim Bill

 

Other publications of authors with the same name

Integrated formal methods., and . INFORSID, page 549-576. (1997)The Refinement of Event Calculus Models., and . IFM, page 151-169. Springer, (1999)The event based modelling of systems.. Teesside University, UK, (2001)British Library, EThOS.An Operational Semantics for ZCCS., and . ICFEM, page 272-282. IEEE Computer Society, (1997)The Specification and Refinement of an Environmental Model.. ZUM, volume 1493 of Lecture Notes in Computer Science, page 24-41. Springer, (1998)Expression Transformers in B-GSL., and . ZB, volume 2651 of Lecture Notes in Computer Science, page 197-215. Springer, (2003)Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study., and . ZB, volume 2272 of Lecture Notes in Computer Science, page 458-476. Springer, (2002)An Execution Architecture for GSL.. ZB, volume 1878 of Lecture Notes in Computer Science, page 394-413. Springer, (2000)The Halting Paradox.. CoRR, (2019)Abstract State Machines: Designing Distributed Systems with State Machines and B., , , and . B, volume 1393 of Lecture Notes in Computer Science, page 226-242. Springer, (1998)