{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:24Z","timestamp":1725664524696},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_81","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:04:00Z","timestamp":1330293840000},"page":"639-654","source":"Crossref","is-referenced-by-count":9,"title":["Action refinement and property inheritance in systems of sequential agents"],"prefix":"10.1007","author":[{"given":"Michaela","family":"Huhn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1006\/inco.1994.1096","volume":"115","author":"L. Aceto","year":"1994","unstructured":"Luca Aceto and Matthew Hennessy. Adding action refinement to a finite process algebra. Information and Computation, 115:179\u2013247, 1994.","journal-title":"Information and Computation"},{"key":"38_CR2","first-page":"260","volume":"663","author":"S. Bensalem","year":"1992","unstructured":"S. Bensalem, A. Bouajjani, C. Loiseaux, and J. Sifakis. Property preserving simulations. In Computer Aided Verification, LNCS 663, pages 260\u2013273, 1992.","journal-title":"LNCS"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. In Proceedings of the 19th Annual ACM Symposium on Principles of Programming Languages (POPL 92), 1992.","DOI":"10.1145\/143165.143235"},{"key":"38_CR4","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0304-3975(93)90361-V","volume":"118","author":"P. Darondeau","year":"1993","unstructured":"Philippe Darondeau and Pierpaolo Degano. Refinement of actions in event structures and causal trees. Theoretical Computer Science, 118:21\u201348, 1993.","journal-title":"Theoretical Computer Science"},{"key":"38_CR5","first-page":"267","volume":"430","author":"R. v. Glabbeek","year":"1989","unstructured":"R. v. Glabbeek and U. Goltz. Refinement of actions in causality based models. In Stepwise Refinement of Distributed Systems, LNCS 430, p. 267\u2013300, 1989.","journal-title":"LNCS"},{"key":"38_CR6","unstructured":"Ursula Goltz and Norbert G\u00f6tz. Modelling a simple communication protocol in a language with action refinement, 1991."},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"U. Goltz, R. Gorrieri, and A. Rensink. On syntactic and semantic action refinement. In Theoretical Aspects of Computer Software, LNCS 789, 1994.","DOI":"10.1007\/3-540-57887-0_106"},{"key":"38_CR8","first-page":"222","volume":"630","author":"U. Goltz","year":"1992","unstructured":"Ursula Goltz, Ruurd Kuiper, and Wojciech Penczek. Propositional temporal logics and equivalences. In CONCUR'92, LNCS 630, pages 222\u2013236, 1992.","journal-title":"LNCS"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Roberto Gorrieri, Sergio Marchetti, and Ugo Montanari. A2CCS: atomic actions for CCS. Theoretical Computer Science, pages 203\u2013223, 1990.","DOI":"10.1016\/0304-3975(90)90035-G"},{"key":"38_CR10","unstructured":"Michaela Huhn. On semantic and logical refinement of actions. Technical Report 15\/96, Universit\u00e4t Hildesheim, Institut f\u00fcr Informatik, 1996."},{"key":"38_CR11","first-page":"298","volume":"527","author":"W. Janssen","year":"1991","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Actions systems and action refinement in the development of parallel systems. In Concur'91, LNCS 527, p. 298\u2013316, 1991.","journal-title":"LNCS"},{"key":"38_CR12","first-page":"215","volume":"299","author":"K. G. Larsen","year":"1988","unstructured":"Kim G. Larsen. Proof systems for Hennessy-Milner Logic with recursion. In Trees in Algebra and Programming, CAAP, LNCS 299, pages 215\u2013230, 1988.","journal-title":"LNCS"},{"key":"38_CR13","first-page":"280","volume":"354","author":"A. Mazurkiewicz","year":"1988","unstructured":"A. Mazurkiewicz. Basic notions of trace theory. In Linear Time, Branching time and Partial Order in Logics and Models for Concurrency, LNCS 354, pages 280\u2013323, 1988.","journal-title":"LNCS"},{"key":"38_CR14","unstructured":"Robin Milner. Communications and Concurrency. 1989."},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Peter Niebert. A v-calculus with local views for systems of sequential agents. In MFCS, LNCS 969, 1995.","DOI":"10.1007\/3-540-60246-1_161"},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"R. Ramanujam. A local presentation of synchronizing systems. In Structure in Concurrency Theory (STRICT), pages 264\u2013279, 1995.","DOI":"10.1007\/978-1-4471-3078-9_18"},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"Colin Stirling. Modal and temporal logics. In Handbook of Logic in Computer Science. 1992.","DOI":"10.1093\/oso\/9780198537618.003.0005"},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan. A trace based extension of Linear Time Temporal Logic. In Proc. of the 9th Ann. IEEE Symp. on Logic in Computer Science, 1994.","DOI":"10.1109\/LICS.1994.316047"},{"key":"38_CR19","first-page":"438","volume":"962","author":"P.S. Thiagarajan","year":"1995","unstructured":"P.S. Thiagarajan. A trace consistent subset of PTL. In CONCUR '95, LNCS 962, pages 438\u2013452, 1995.","journal-title":"LNCS"},{"key":"38_CR20","unstructured":"Frits Vaandrager. A simple definition for parallel composition of prime event structures. Cs-r8903, CWI, 1989."},{"key":"38_CR21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0304-3975(93)90157-O","volume":"114","author":"W. Vogler","year":"1993","unstructured":"Walter Vogler. Bisimulation and action refinement. Theoretical Computer Science, 114:173\u2013200, 1993.","journal-title":"Theoretical Computer Science"},{"key":"38_CR22","first-page":"247","volume":"A-56","author":"H. Wehrheim","year":"1994","unstructured":"Heike Wehrheim. Parametric action refinement. In Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 247\u2013266, 1994.","journal-title":"IFIP Transactions"},{"key":"38_CR23","first-page":"325","volume":"255","author":"G. Winskel","year":"1986","unstructured":"Glynn Winskel. Event structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, LNCS 255, pages 325\u2013392, 1986.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_81.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:37:08Z","timestamp":1713634628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}