{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T04:10:11Z","timestamp":1706847011740},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"6-7","license":[{"start":{"date-parts":[[2005,12,2]],"date-time":"2005-12-02T00:00:00Z","timestamp":1133481600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2006,3,2]]},"DOI":"10.1007\/s00236-005-0172-4","type":"journal-article","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T21:13:53Z","timestamp":1136495633000},"page":"389-418","source":"Crossref","is-referenced-by-count":3,"title":["Refinement of actions for real-time concurrent systems with causal ambiguity"],"prefix":"10.1007","volume":"42","author":[{"given":"Mila","family":"Majster-Cederbaum","sequence":"first","affiliation":[]},{"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Houguang","family":"Yue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,12,2]]},"reference":[{"key":"172_CR1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/3-540-57208-2_8","volume":"715","author":"L. Aceto","year":"1993","unstructured":"Aceto, L., Murphy, D.: On the Ill-timed but well-caused. In: Concurrency, Lecture Notes in Computer Science. 715, 97\u2013111 (1993)","journal-title":"Concurrency, Lecture Notes in Computer Science"},{"key":"172_CR2","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s002360050047","volume":"33","author":"L. Aceto","year":"1996","unstructured":"Aceto, L., Murphy, D.: Timing and causality in process algebra. Acta Informatica. 33, 317\u2013350 (1996)","journal-title":"Acta Informatica"},{"key":"172_CR3","doi-asserted-by":"crossref","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, 126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"172_CR4","first-page":"433","volume":"C-22","author":"T. Bolognesi","year":"1994","unstructured":"Bolognesi, T., Ciaccio, G.: Cumulating constraints on the \u2018When\u2019 and \u2018What\u2019. FORTE'93, IFIP Trans. C-22, 433\u2013448 (1994)","journal-title":"FORTE'93, IFIP Trans."},{"key":"172_CR5","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-63010-4_26","volume":"1231","author":"H. Bowman","year":"1997","unstructured":"Bowman, H., Derrick, J.: Extending LOTOS with Time: A True Concurrency Perspective. Lecture Notes in Computer Science, 1231, 383\u2013399 (1997)","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"172_CR6","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1), 77\u2013121 (1985)","journal-title":"Theoretical Computer Science"},{"key":"172_CR7","doi-asserted-by":"crossref","unstructured":"Bowman, H., Katoen, J.-P.: A True Concurrency Semantics for ET-LOTOS. Proceedings Int. Conference on Applications of Concurrency to System Design, 228\u2013239 (1998)","DOI":"10.1109\/CSD.1998.657554"},{"key":"172_CR8","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1007\/BFb0055085","volume":"1443","author":"C. Baier","year":"1998","unstructured":"Baier, C., Katoen, J.-P., Latella, D.: Metric Semantics for True Concurrent Real Time. In: Automata, Languages and Programming, Lecture Notes in Computer Science, 1443, 568\u2013580, (1998)","journal-title":"Automata, Languages and Programming, Lecture Notes in Computer Science"},{"key":"172_CR9","first-page":"12","volume":"31","author":"L. Castellano","year":"1987","unstructured":"Castellano, L. Michelis, G., Pomello, L.: Concurrency vs Interleaving: An Instructive Example. Bull. EATCS, 31, 12\u201315 (1987)","journal-title":"Bull. EATCS"},{"key":"172_CR10","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0020-0190(01)00310-6","volume":"83","author":"H. Fecher","year":"2002","unstructured":"Fecher, H. Majster-Cederbaum, M., Wu, J.: Bundle Event Structures: A Revised Cpo Approach. Information Processing Letters, 83, 7\u201312 (2002)","journal-title":"Information Processing Letters"},{"key":"172_CR11","doi-asserted-by":"crossref","unstructured":"Fecher, H., Majster-Cederbaum, M., Wu, J.: Refinement of actions in a real-time process algebra with a true concurrency model. Electronic Notes in Theoretical Computer Science, 70(3) (2002)","DOI":"10.1016\/S1571-0661(05)80496-7"},{"key":"172_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-45605-8_6","volume":"2399","author":"H. Fecher","year":"2002","unstructured":"Fecher, H., Majster-Cederbaum, M., Wu, J.: Action Refinement for Probabilistic Processes with True Concurrency Models. Lecture Notes in Computer Science, 2399, 77\u201394 (2002)","journal-title":"Lecture Notes in Computer Science"},{"key":"172_CR13","unstructured":"Ferreira Pires, L.: Architectural Notes: A Framework for Distributed Systems Development. PhD thesis, University of Twente (1994)"},{"key":"172_CR14","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume":"458","author":"R. van Glabbeek","year":"1990","unstructured":"van Glabbeek, R.: The linear time-branching time spectrum. Lecture Notes in Computer Science, 458, 278\u2013297 (1990)","journal-title":"Lecture Notes in Computer Science"},{"key":"172_CR15","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume":"379","author":"R. van Glabbeek","year":"1989","unstructured":"van Glabbeek, R., Goltz, U.: Equivalence Notions for Concurrent Systems and Refinement of Actions. Lecture Notes in Computer Science, 379, 237\u2013248 (1989)","journal-title":"Lecture Notes in Computer Science"},{"key":"172_CR16","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-52559-9_68","volume":"430","author":"R. van Glabbeek","year":"1990","unstructured":"van Glabbeek, R., Goltz, U.: Refinement of actions in causality based models. In: REX Workshop on Stepwise Refinement of Distributed Systems, Lecture Notes in Computer Science, 430, 267\u2013300 (1990)","journal-title":"REX Workshop on Stepwise Refinement of Distributed Systems, Lecture Notes in Computer Science"},{"key":"172_CR17","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-53479-2_13","volume":"469","author":"R. van Glabbeek","year":"1990","unstructured":"van Glabbeek, R., Goltz, U.: Equivalences and Refinement. Lecture Notes in Computer Science, 469, 309\u2013333 (1990)","journal-title":"Lecture Notes in Computer Science"},{"key":"172_CR18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R. van Glabbeek","year":"2001","unstructured":"van Glabbeek, R., Goltz, U.: Refinement of Actions and Equivalence Notions for Concurrent Systems. Acta Informatica, 37, 229\u2013327 (2001)","journal-title":"Acta Informatica"},{"key":"172_CR19","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/3-540-57887-0_106","volume":"789","author":"U. Goltz","year":"1994","unstructured":"Goltz, U., Gorrieri, R., Rensink, A.: On Syntactic and Semantic Action Refinement. Lecture Notes in Computer Science, 789, 385\u2013404 (1994)","journal-title":"Lecture Notes in Computer Science"},{"key":"172_CR20","doi-asserted-by":"crossref","unstructured":"Gorrieri, R., Rensink, A.: Action Refinement. Handbook of Process Algebra, Elsevier Science, 1047\u20131147 (2001)","DOI":"10.1016\/B978-044482830-9\/50034-5"},{"key":"172_CR21","unstructured":"Katoen, J.-P.: Quantitative and Qualitative Extensions of Event Structures. PhD thesis, University of Twente (1996)"},{"issue":"1\u20132","key":"172_CR22","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1016\/S0304-3975(99)00342-4","volume":"254","author":"J.-P. Katoen","year":"2001","unstructured":"Katoen, J.-P., Baier, C., Latella, D.: Metric Semantics for True Concurrent Real Time. Th. Comp. Sci. 254(1\u20132), 501\u2013542 (2001)","journal-title":"Th. Comp. Sci."},{"key":"172_CR23","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1023\/A:1008649927166","volume":"12","author":"J.-P. Katoen","year":"1998","unstructured":"Katoen, J.-P., Langerak, R., Brinksma, E., Latella, D., Bolognesi, T.: A Consistent Causality Based View on a Timed Process Algebra Including Urgent Interactions. Formal Meth. in Sys. Design, 12, 189\u2013216 (1998)","journal-title":"Formal Meth. in Sys. Design"},{"key":"172_CR24","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/3-540-61648-9_52","volume":"1135","author":"J.-P. Katoen","year":"1996","unstructured":"Katoen, J.-P., Langerak, R., Latella, D., Brinksma, E.: On specifying real-time systems in a causality-based setting. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, 1135, 385\u2013405 (1996)","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science"},{"key":"172_CR25","unstructured":"Langerak, R.: Transformations and Semantics for LOTOS. PhD thesis, University of Twente (1992)"},{"key":"172_CR26","unstructured":"Langerak, R.: Bundle Event Structures: A Non-Interleaving Semantics for LOTOS. In M. Diaz and R. Groz editors, Formal Description Techniques V, IFIP Transactions, C10, 331\u2013346, (1993)"},{"key":"172_CR27","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-63141-0_22","volume":"1243","author":"R. Langerak","year":"1997","unstructured":"Langerak, R., Brinksma, E., Katoen, J.-P.: Causal Ambiguity and Partial Orders in Event Structures. CONCUR'97, Lecture Notes in Computer Science, 1243, 317\u2013331 (1997)","journal-title":"CONCUR'97, Lecture Notes in Computer Science"},{"key":"172_CR28","doi-asserted-by":"crossref","unstructured":"Majster-Cederbaum, M., Wu, J.: Action Refinement for True Concurrent Real Time. Proc. ICECCS 2001, IEEE Computer Society Press, 58\u201368 (2001)","DOI":"10.1109\/ICECCS.2001.930164"},{"issue":"8","key":"172_CR29","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/s00236-003-0117-8","volume":"39","author":"M. Majster-Cederbaum","year":"2003","unstructured":"Majster-Cederbaum, M., Wu, J.: Towards Action Refinement for True Concurrent Real Time. Acta Informatica, 39(8), 531\u2013577 (2003)","journal-title":"Acta Informatica"},{"key":"172_CR30","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-39893-6_14","volume":"2885","author":"M. Majster-Cederbaum","year":"2003","unstructured":"Majster-Cederbaum, M., Wu, J.: Adding Action Refinement to Stochastic True Concurrency Models. Lecture Notes in Computer Science, 2885, 226\u2013245 (2003)","journal-title":"Lecture Notes in Computer Science"},{"key":"172_CR31","doi-asserted-by":"crossref","unstructured":"John A. McDermid. Software Hazard and Safety Analysis. Tutorial at FTRTEF 2002, Lecture Notes in Computer Science, 2469, 23\u201334 (2002)","DOI":"10.1007\/3-540-45739-9_2"},{"key":"172_CR32","doi-asserted-by":"crossref","first-page":"403","DOI":"10.3233\/FI-1993-193-410","volume":"19","author":"D. Murphy","year":"1993","unstructured":"Murphy, D.: Time and Duration in Noninterleaving Concurrency. Fundamenta Informaticae, 19, 403\u2013416 (1993)","journal-title":"Fundamenta Informaticae"},{"key":"172_CR33","doi-asserted-by":"crossref","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebra. in: Real-Time: Theory in Practice, Lecture Notes in Computer Science, 660, 526\u2013548 (1992)","DOI":"10.1007\/BFb0032006"},{"key":"172_CR34","doi-asserted-by":"crossref","unstructured":"Qin, G., Wu, J.: Action Refinement for Concurrent Processes with Urgency. J. Computer Sci. Technol. to appear (2005)","DOI":"10.1007\/s11390-005-0514-2"},{"key":"172_CR35","unstructured":"Rensink, R.: Models and methods for action refinement. PhD thesis, University of Twente (1993)"},{"issue":"4","key":"172_CR36","first-page":"357","volume":"11","author":"A. Rabinovich","year":"1988","unstructured":"Rabinovich, A., Trakhtenbrot, B.A.: Behavior Structures and Nets. Fund. Info. 11(4), 357\u2013404 (1988)","journal-title":"Fund. Info."},{"key":"172_CR37","doi-asserted-by":"crossref","first-page":"1263","DOI":"10.1016\/0169-7552(94)00031-N","volume":"27","author":"M. van Sinderen","year":"1995","unstructured":"van Sinderen, M., Ferreira Pires, L., Vissers, C.A., Katoen, J.-P.: A Design Model for Open Distributed Processing Systems. Computer Networks and ISDN Systems, 27, 1263\u20131285 (1995)","journal-title":"Computer Networks and ISDN Systems"},{"key":"172_CR38","unstructured":"de Weger, M.K., Franken, H., Vissers, C.A.: A Development Model for Distributed Information Systems. In: Proceedings of the 1st Int. Distributed Conference on High Performance Networking for Teleteaching (IDC'95) (1995)"},{"key":"172_CR39","unstructured":"Winskel, G.: Events in Computation. PhD thesis, University of Edinburgh (1980)"},{"key":"172_CR40","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume":"255","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event Structures. Lecture Notes in Computer Science, 255, 325\u2013392 (1987)","journal-title":"Lecture Notes in Computer Science"},{"key":"172_CR41","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BFb0013026","volume":"354","author":"G. Winskel","year":"1989","unstructured":"Winskel, G.; An introduction to event structures. Lecture Notes in Computer Science, 354, 364\u2013397 (1989)","journal-title":"Lecture Notes in Computer Science"},{"key":"172_CR42","doi-asserted-by":"crossref","unstructured":"Winskel, G., Nielsen, M.: Models for Concurrency. In Abramsky, S., Gabbay, D.M., Mailbaum, T.S.E., (eds.): Handbook of Logic in Computer Science, Vol. 4: 2\u2013148, Oxford University Press (1995)","DOI":"10.1093\/oso\/9780198537809.003.0001"},{"key":"172_CR43","unstructured":"Wu, J., Yue, H.: Towards action refinement for concurrent systems with causal ambiguity. Proc. SEFM 2004, IEEE Computer Society Press, 300\u2013309 (2004)"},{"key":"172_CR44","unstructured":"Yakovlev, A., Kishinevsky, M., Kondratyev, A., Lavagno, L.: On the models for asynchronous circuit behaviour with OR causality. Technical Report 463, University of Newcastle upon Tyne (1993)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0172-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-005-0172-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0172-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T03:38:36Z","timestamp":1706845116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-005-0172-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12,2]]},"references-count":44,"journal-issue":{"issue":"6-7","published-print":{"date-parts":[[2006,3,2]]}},"alternative-id":["172"],"URL":"https:\/\/doi.org\/10.1007\/s00236-005-0172-4","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12,2]]}}}