Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim. Lausdahl, K., Coleman, J. W., & Larsen, P. G. In Plat, N., Nielsen, C. B., & Riddle, S., editors, *Proceedings of the 10th Overture Workshop*, of *Technical Report Series*, pages 30–37, August, 2012. Computing Science, Newcastle University.

Paper bibtex

Paper bibtex

@INPROCEEDINGS{Lausdahl&12, KEY = {Lausdahl\&12}, AUTHOR = {Lausdahl, Kenneth and Coleman, Joey W. and Larsen, Peter Gorm}, BOOKTITLE = {Proceedings of the 10th Overture Workshop}, EDITOR = {Nico Plat and Claus Ballegaard Nielsen and Steve Riddle}, MONTH = {August}, NUMBER = {CS-TR-1345}, ORGANIZATION = {Computing Science, Newcastle University}, SERIES = {Technical Report Series}, TITLE = {Towards a Co-simulation Semantics of {VDM-RT/Overture} and 20-sim}, YEAR = {2012}, URL = "http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf", pages = "30--37", } %G VDM ALLOY TOOL OVERTURE

Downloads: 0

{"_id":"uXrsSSoiiHDD8KWZX","bibbaseid":"lausdahl-coleman-larsen-towardsacosimulationsemanticsofvdmrtovertureand20sim-2012","downloads":0,"creationDate":"2016-04-27T22:53:11.109Z","title":"Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim","author_short":["Lausdahl, K.","Coleman, J. W.","Larsen, P. G."],"year":2012,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Lausdahl&12","author":[{"propositions":[],"lastnames":["Lausdahl"],"firstnames":["Kenneth"],"suffixes":[]},{"propositions":[],"lastnames":["Coleman"],"firstnames":["Joey","W."],"suffixes":[]},{"propositions":[],"lastnames":["Larsen"],"firstnames":["Peter","Gorm"],"suffixes":[]}],"booktitle":"Proceedings of the 10th Overture Workshop","editor":[{"firstnames":["Nico"],"propositions":[],"lastnames":["Plat"],"suffixes":[]},{"firstnames":["Claus","Ballegaard"],"propositions":[],"lastnames":["Nielsen"],"suffixes":[]},{"firstnames":["Steve"],"propositions":[],"lastnames":["Riddle"],"suffixes":[]}],"month":"August","number":"CS-TR-1345","organization":"Computing Science, Newcastle University","series":"Technical Report Series","title":"Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim","year":"2012","url":"http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf","pages":"30–37","bibtex":"@INPROCEEDINGS{Lausdahl&12,\n KEY \t \t\t= {Lausdahl\\&12},\n AUTHOR \t\t= {Lausdahl, Kenneth and Coleman, Joey W. and Larsen, Peter Gorm},\n BOOKTITLE \t \t= {Proceedings of the 10th Overture Workshop},\n EDITOR \t\t= {Nico Plat and Claus Ballegaard Nielsen and Steve Riddle},\n MONTH \t\t= {August},\n NUMBER \t\t= {CS-TR-1345},\n ORGANIZATION \t= {Computing Science, Newcastle University},\n SERIES \t\t= {Technical Report Series},\n TITLE \t\t= {Towards a Co-simulation Semantics of {VDM-RT/Overture} and 20-sim},\n YEAR \t\t= {2012},\n URL\t\t\t= \"http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf\",\n pages \t\t\t= \"30--37\",\n}\n\n%G VDM ALLOY TOOL OVERTURE\n","author_short":["Lausdahl, K.","Coleman, J. W.","Larsen, P. G."],"editor_short":["Plat, N.","Nielsen, C. B.","Riddle, S."],"id":"Lausdahl&12","bibbaseid":"lausdahl-coleman-larsen-towardsacosimulationsemanticsofvdmrtovertureand20sim-2012","role":"author","urls":{"Paper":"http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf"},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":0,"html":""},"search_terms":["towards","simulation","semantics","vdm","overture","sim","lausdahl","coleman","larsen"],"keywords":[],"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"],"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","maALzmZwmtEEh8pXx","nGw4dfQFrDZqKC8vj"]}