{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:44:44Z","timestamp":1780994684807,"version":"3.54.1"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319675305","type":"print"},{"value":"9783319675312","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67531-2_1","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T09:33:37Z","timestamp":1504604017000},"page":"3-7","source":"Crossref","is-referenced-by-count":1,"title":["P: Modular and Safe Asynchronous Programming"],"prefix":"10.1007","author":[{"given":"Ankush","family":"Desai","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaz","family":"Qadeer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., Zufferey, D.: P: safe asynchronous event-driven programming. In: Programming Language Design and Implementation (PLDI), pp. 321\u2013332 (2013)","DOI":"10.1145\/2491956.2462184"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Desai, A., Qadeer, S., Seshia, S.A.: Systematic testing of asynchronous reactive systems. In: Foundations of Software Engineering (FSE), pp. 73\u201383 (2015)","DOI":"10.1145\/2786805.2786861"},{"key":"1_CR3","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc, Boston (2002)"},{"key":"1_CR4","volume-title":"Spin Model Checker, The: Primer and Reference Manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: Spin Model Checker, The: Primer and Reference Manual, 1st edn. Addison-Wesley Professional, Boston (2003)","edition":"1"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1145\/2813885.2737996","volume":"50","author":"P Deligiannis","year":"2015","unstructured":"Deligiannis, P., Donaldson, A.F., Ketema, J., Lal, A., Thomson, P.: Asynchronous programming, analysis and testing with state machines. ACM SIGPLAN Not. 50, 154\u2013164 (2015). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Desai, A., Saha, I., Yang, J., Qadeer, S., Seshia, S.A.: DRONA: a framework for safe distributed mobile robotics. In: Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, New York, NY, USA, pp. 239\u2013248. ACM (2017)","DOI":"10.1145\/3055004.3055022"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Desai, A., Dreossi, T., Seshia, S.: Combining model checking and runtime verification for safe robotics. In: International Conference on Runtime Verification (RV) (2017)","DOI":"10.1007\/978-3-319-67531-2_11"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/1132863.1132867","volume":"31","author":"J Gray","year":"2006","unstructured":"Gray, J., Lamport, L.: Consensus on transaction commit. ACM Trans. Database Syst. 31, 133\u2013160 (2006)","journal-title":"ACM Trans. Database Syst."},{"key":"1_CR9","unstructured":"Lamport, L.: Paxos made simple. ACM SIGACT News 32 (2001)"},{"key":"1_CR10","unstructured":"van Renesse, R., Schneider, F.B.: Chain replication for supporting high throughput and availability. In: Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation, OSDI 2004, vol. 6, p. 7. USENIX Association, San Francisco (2004). http:\/\/dl.acm.org\/citation.cfm?id=1251254.1251261"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T04:19:03Z","timestamp":1570076343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}