From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The event based modelling of systems.

B. Stoddart. Teesside University, UK, (2001)British Library, EThOS.

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.

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