A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM-Reference-Cited by-同舟云学术

A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM

Published:2011 Issue: Volume: Page:179-194
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Lausdahl Kenneth,Larsen Peter Gorm,Battle Nick

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24559-6_14

Reference44 articles.

1. Babaoglu, Ö., Marzullo, K.: Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. Tech. Rep. UBLCS-93-1, University of Bologna, Piazza di Porta S. Donato, 5, 40127 Bologna (Italy) (January 1993)

2. Battle, N.: VDMJ User Guide. Tech. rep., Fujitsu Services Ltd., UK (2009)

3. Bergan, T., Anderson, O., Devietti, J., Ceze, L., Grossman, D.: CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution. In: ASPLOS 2010. ACM, New York (2010)

4. Lecture Notes in Computer Science,1978

5. Breuer, P., Bowen, J.: Towards correct executable semantics for z. In: Bowen, J., Hall, J. (eds.) Z User Workshop, pp. 185–209. Springer, Heidelberg (1994)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ViennaDoc: An Animatable and Testable Specification Documentation Tool;Lecture Notes in Computer Science;2020

2. Code generation for distributed embedded systems with VDM-RT;Design Automation for Embedded Systems;2019-11-19

3. Realization of distributed system models using code generation extensions;Software: Practice and Experience;2018-12-11

4. Automated translation of VDM to JML-annotated Java;International Journal on Software Tools for Technology Transfer;2017-02-11

5. A Formal Modeling Tool for Exploratory Modeling in Software Development;IEICE Transactions on Information and Systems;2017