{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:19Z","timestamp":1725456259097},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620310"},{"type":"electronic","value":"9783540496267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0027801","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:33:16Z","timestamp":1132641196000},"page":"287-298","source":"Crossref","is-referenced-by-count":0,"title":["A dynamic evolution for the specifications of distributed systems"],"prefix":"10.1007","author":[{"given":"Issam A.","family":"Hamid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferhat","family":"Khendek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,14]]},"reference":[{"key":"28_CR1","unstructured":"E. Brinksma, G. Scollo and S. Steenbergen, LOTOS specifications, their implement ations and their tests, Protocol Specification, testing and verification, VI, Montreal, Canada, 1986."},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. Nicola De","year":"1987","unstructured":"R. De Nicola, Extensional Equivalences for Transition Systems, Acta Informatica, 24, 1987, pp. 211\u2013237.","journal-title":"Acta Informatica"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01384500","volume":"No.6","author":"F. Khendenk","year":"1995","unstructured":"F. Khendenk, Merging Behavior Specifications, J. Formal Methods in System Design, No.6, pp.259\u2013293, 1995.","journal-title":"J. Formal Methods in System Design"},{"issue":"No.4","key":"28_CR4","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy, Acceptances Trees, J. of ACM, Vol.32, No. 4, Oct. 1985, pp.896\u2013928.","journal-title":"J. of ACM"},{"key":"28_CR5","unstructured":"J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979,418p."},{"key":"28_CR6","unstructured":"H. Ichikawa, K. Yamanaka and J. Kato, Incremental Specification in LOTOS, Protocol Specification, Testing and Verification X (1990), Ottawa, Canada, Logrippo, Probert and Ural (eds.), pp. 185\u2013200"},{"key":"28_CR7","unstructured":"ISO \u2014 Information Processing Systems \u2014 Open Systems Interconnection, LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, Feb. 1989."},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R. Keller","year":"1976","unstructured":"R. Keller, Formal verification of parallel programs, Communication of the ACM 19 July 1976, pp. 371\u2013384.","journal-title":"Communication of the ACM"},{"key":"28_CR9","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall International, 1989."},{"key":"28_CR10","unstructured":"S. Rudkin, Inheritance in Lotos, Formal description technique (FORTE), Sydney, Australia, 1991, pp. 415\u2013430."},{"key":"28_CR11","first-page":"189","volume":"VIII","author":"C. A. Vissers","year":"1988","unstructured":"C. A. Vissers, G. Scollo and M. v. Sinderen, Architecture ans Specification Style in Formal Descriptions of Distributed Systems, Protocol Specification, Testing, and Verification, VIII, North-Holland, 1988, pp.189\u2013204.","journal-title":"Protocol Specification, Testing, and Verification"}],"container-title":["Lecture Notes in Computer Science","Concurrency and Parallelism, Programming, Networking, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T04:59:14Z","timestamp":1549342754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027801"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620310","9783540496267"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0027801","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}