A Deterministic Interpreter Simulating A Distributed real time system using VDM. Lausdahl, K., Larsen, P. G., & Battle, N. In Qin, S. & Qiu, Z., editors, Formal Methods and Software Engineering, volume 6991, of Lecture Notes in Computer Science, pages 179–194, Berlin, Heidelberg, October, 2011. Springer-Verlag. ISBN 978-3-642-24558-9![A Deterministic Interpreter Simulating A Distributed real time system using VDM [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @INPROCEEDINGS{Lausdahl&11,
KEY = "Lausdahl\&11",
AUTHOR = "Kenneth Lausdahl and Peter Gorm Larsen and Nick Battle",
title = "{A Deterministic Interpreter Simulating A Distributed real time system using VDM}",
booktitle = {{Formal Methods and Software Engineering}},
series = {Lecture Notes in Computer Science},
volume = {6991},
editor = {Qin, Shengchao and Qiu, Zongyan},
YEAR = "2011",
MONTH = "October",
note = "{ISBN 978-3-642-24558-9}",
location = {Durham, UK},
pages = {179--194},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=2075089.2075107},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
}
% G VDM COSIM TOOL
Downloads: 0
{"_id":{"_str":"51f5e029a57e92543f000588"},"__v":29,"authorIDs":["3KfERZfjKGcWKBnsY","3xKKvaQP3SCr9iaij","4ZGdnfrz8CmYsYeWa","5458a974b43425b772000187","5deaa24003c11ade01000033","5decfc353d02efdf010000a5","5dfb8e1c749b8bde0100002e","5e0ce1e26762d1de01000145","5e14416712768ef301000118","5e14677a0467fede01000095","5e1934e686b4aade01000008","5e1a3b7e3a430ede01000073","5e1ac9c5ff975cf201000092","5e1adc695f3d2cdf01000023","5e1bb8cb61cb16df010000e2","5e269b26f3bb7ddf01000001","5e2da43e732e89de01000007","5e445a92df3c2af301000193","5e52ac666a3abede01000026","5e55ab6f7d0846de0100009f","5e5629db05e404e401000197","5e5fb31119c3fade0100018f","5e600e3d13e3aede01000204","5e62ab2208ebcade0100016b","5e646fd3e1ac00de010000c0","5rCJDxakFezcBjMh7","7tTMW2Ag7kzYnDjv9","7zvcGWi8vmEXwgr4z","8Zw2rNCBuJK7MsBgj","8eotCSzZZ2kmeD3GY","8ni6FsXPD3wYBMeHw","Dc34oECBHyEwpv7mF","F7MYvy83ixrCWnduX","FjgQ2oyfaAjjLarzd","HAf2bQQMBfPw4PscJ","KeECrTRLiCrYPoyb5","MpYWLFiPQr4AB8Di7","NtxQ9SSTQrELYyARd","QDxjGbzzz8ieD9DDR","QTMj2jsKMSS8DPnui","RuqboAEC8viueLPs5","SHYGdZ6qizeXHx7Ki","TPRQJJi9cLqKrn2ZD","ZJc2RcS8ZkLmDjaoW","ZPzGDgZxZSzhXERzp","Zf4X8SYM6RCmADxfj","ZzQj6vCdfvELyPjgj","bzunJEvhSCePprnRD","dn3QGKKFGBamh6kvA","eRAztJSJSes5m4aeA","exMbRrbm8dtBzw6PL","ka9xuGki2xtZkwrGS","mKutoobkwgyNn8XWT","maQMWqAygyxv8j6QD","pAME5vNJ7b7XfhtbB","q8A2nn9imQhk49Z8z","qHLxzPFCKE7mD5oKK","so8G66cEiQZa9KniD","systYuKbnJxuFaX34","toxJQ8Rgt7cak46Zb","ukAZCLawgKmFHn7X8","wYAtgTYNnmh723Q3D","yvAZGrAMBEvZdn2xz"],"author_short":["Lausdahl, K.","Larsen, P. G.","Battle, N."],"bibbaseid":"lausdahl-larsen-battle-adeterministicinterpretersimulatingadistributedrealtimesystemusingvdm-2011","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Lausdahl&11","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]}],"title":"A Deterministic Interpreter Simulating A Distributed real time system using VDM","booktitle":"Formal Methods and Software Engineering","series":"Lecture Notes in Computer Science","volume":"6991","editor":[{"propositions":[],"lastnames":["Qin"],"firstnames":["Shengchao"],"suffixes":[]},{"propositions":[],"lastnames":["Qiu"],"firstnames":["Zongyan"],"suffixes":[]}],"year":"2011","month":"October","note":"ISBN 978-3-642-24558-9","location":"Durham, UK","pages":"179–194","numpages":"16","url":"http://dl.acm.org/citation.cfm?id=2075089.2075107","publisher":"Springer-Verlag","address":"Berlin, Heidelberg","bibtex":"@INPROCEEDINGS{Lausdahl&11,\r\n KEY = \"Lausdahl\\&11\",\r\n AUTHOR = \"Kenneth Lausdahl and Peter Gorm Larsen and Nick Battle\",\r\n title = \"{A Deterministic Interpreter Simulating A Distributed real time system using VDM}\",\r\n booktitle = {{Formal Methods and Software Engineering}},\r\n series = {Lecture Notes in Computer Science},\r\n volume = {6991},\r\n editor = {Qin, Shengchao and Qiu, Zongyan},\r\n YEAR = \"2011\",\r\n MONTH = \"October\",\r\n note = \"{ISBN 978-3-642-24558-9}\",\r\n location = {Durham, UK},\r\n pages = {179--194},\r\n numpages = {16},\r\n url = {http://dl.acm.org/citation.cfm?id=2075089.2075107},\r\n publisher = {Springer-Verlag},\r\n address = {Berlin, Heidelberg},\r\n }\r\n\r\n% G VDM COSIM TOOL\r\n\r\n\r\n","author_short":["Lausdahl, K.","Larsen, P. G.","Battle, N."],"editor_short":["Qin, S.","Qiu, Z."],"id":"Lausdahl&11","bibbaseid":"lausdahl-larsen-battle-adeterministicinterpretersimulatingadistributedrealtimesystemusingvdm-2011","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=2075089.2075107"},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"blog.lausdahl.com/wp-content/uploads/publications/lausdahl.bib","downloads":0,"keywords":[],"search_terms":["deterministic","interpreter","simulating","distributed","real","time","system","using","vdm","lausdahl","larsen","battle"],"title":"A Deterministic Interpreter Simulating A Distributed real time system using VDM","title_words":["deterministic","interpreter","simulating","distributed","real","time","system","using","vdm"],"year":2011,"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","Ry4ofsSkWAkHhY8ov","maALzmZwmtEEh8pXx"]}