{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:36:57Z","timestamp":1742974617170,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291893"},{"type":"electronic","value":"9783540320845"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11562436_36","type":"book-chapter","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T09:40:51Z","timestamp":1129714851000},"page":"503-517","source":"Crossref","is-referenced-by-count":2,"title":["Properties as Processes: Their Specification and Verification"],"prefix":"10.1007","author":[{"given":"Joel","family":"Kelso","sequence":"first","affiliation":[]},{"given":"George","family":"Milne","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages\u00a017(3) (1995)","DOI":"10.1145\/203095.201069"},{"issue":"2","key":"36_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Ammerlaan, M., Spelberg, R.L., Toetenel, H.: XTG - an engineering approach to modelling and analysis of real-time systems. In: 10th Euromicro Workshop on Real Time Systems, pp. 88\u201397. IEEE Computer Society Press, Los Alamitos (1998)","DOI":"10.1109\/EMWRTS.1998.685072"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Cerone, A., Cowie, A.J., Milne, G.J., Moseley, P.A.: Modelling a time-dependant protocol using the CIRCAL process algebra. LNCS, vol.\u00a02102, pp. 124\u2013138 (1997)","DOI":"10.1007\/BFb0014721"},{"key":"36_CR5","first-page":"109","volume-title":"The International Conference on Application of Concurrency to System Design","author":"A. Cerone","year":"1998","unstructured":"Cerone, A., Kearney, D.A., Milne, G.J.: Integrating the verification of timing, performance and correctness properties of concurrent systems. In: The International Conference on Application of Concurrency to System Design, pp. 109\u2013119. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"36_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/3-540-40922-X_16","volume-title":"Formal Methods in Computer-Aided Design","author":"A. Cerone","year":"2000","unstructured":"Cerone, A., Milne, G.J.: A methodology for the formal analysis of asynchronous micropipelines. In: Johnson, S.D., Hunt Jr., W.A. (eds.) FMCAD 2000. LNCS, vol.\u00a01954, pp. 246\u2013262. Springer, Heidelberg (2000)"},{"key":"36_CR7","unstructured":"Cowie, A.: The Modelling of Temporal Properties in a Process Algebra Framework. PhD thesis, University of South Australia (1999)"},{"issue":"2","key":"36_CR8","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/92.502196","volume":"4","author":"S.B. Furber","year":"1996","unstructured":"Furber, S.B., Day, P.: Four-phase micropipeline latch control circuit. IEEE Transactions on VLSI Systems\u00a04(2), 247\u2013253 (1996)","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"36_CR9","series-title":"International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1985)"},{"key":"36_CR10","unstructured":"Kelso, J.: Proof of the soundness of the concurrent composition property checking technique. Technical Report Report-05-003, School of Computer Science and Software Engineering, Univeristy of Western Australia (2005)"},{"key":"36_CR11","unstructured":"Kelso, J., Milne, G.: The prototype Haskell CIRCAL system (2003), http:\/\/www.csse.uwa.edu.au\/FormalSpecification\/HaskellCircal\/"},{"key":"36_CR12","unstructured":"Kelso, J., Milne, G.: An interacting automata model of a fault-tolerant scada system. Technical Report Report-05-004, School of Computer Science and Software Engineering, Univeristy of Western Australia (2005)"},{"issue":"1","key":"36_CR13","first-page":"323","volume":"6","author":"D.E. Knuth","year":"1997","unstructured":"Knuth, D.E., Morris, J.H., Pratt, V.R.: Fast pattern matching in strings. SIAM Journal on Computing\u00a06(1), 323\u2013350 (1997)","journal-title":"SIAM Journal on Computing"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Kristoffersen, K.J., Laroussinie, F., Larsen, K.G., Pettersson, P., Yi, W.: A composition proof of a real-time mutual exclusion protocol. Technical Report RS-96-55, Aalborg University, Denmark (1996)","DOI":"10.7146\/brics.v3i55.20058"},{"issue":"1","key":"36_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"Lamport, L.: A fast mutual exclusion algorithm. ACM Transactions on Computer Systems\u00a05(1), 1\u201311 (1987)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"3","key":"36_CR16","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"36_CR17","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G.J. Milne","year":"1985","unstructured":"Milne, G.J.: CIRCAL and the representation of communication, concurrency and time. ACM Transactions on Programming Languages and Systems\u00a07(2), 270\u2013298 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"36_CR18","volume-title":"Formal Specification and Verification of Digital Systems","author":"G.J. Milne","year":"1994","unstructured":"Milne, G.J.: Formal Specification and Verification of Digital Systems. McGraw-Hill, New York (1994)"},{"key":"36_CR19","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1989)"},{"key":"36_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-55179-4_36","volume-title":"Computer Aided Verification","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, pp. 376\u2013398. Springer, Heidelberg (1992)"},{"key":"36_CR21","unstructured":"Plotkin, G.: Structural operational semantics. Technical Report DAIMI FN-19, Aahus University (1981) (reprinted in 1991)"},{"key":"36_CR22","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs (1997)"},{"issue":"6","key":"36_CR23","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1145\/63526.63532","volume":"32","author":"I.E. Sutherland","year":"1989","unstructured":"Sutherland, I.E.: Micropipelines. Communications of the ACM\u00a032(6), 720\u2013738 (1989)","journal-title":"Communications of the ACM"},{"key":"36_CR24","unstructured":"Vereijken, J.: Fischer\u2019s protocol in timed process algebra. Technical Report CSR 94\/32, Eindhoven University of Technology, Computing Science Department (1994)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562436_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:41:00Z","timestamp":1586515260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562436_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291893","9783540320845"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11562436_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}