{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T20:40:12Z","timestamp":1683060012579},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1007\/bf01384500","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T04:22:41Z","timestamp":1112415761000},"page":"259-293","source":"Crossref","is-referenced-by-count":13,"title":["Merging behavior specifications"],"prefix":"10.1007","volume":"6","author":[{"given":"Ferhat","family":"Khendek","sequence":"first","affiliation":[]},{"given":"Gregor V.","family":"Bochmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"E. Brinksma, G. Scollo, and S. Steenbergen, ?LOTOS Specifications, Their Implementations and Their Tests,?Protocol Specification, Testing, and Verification, Sarikaya and Bochmann (eds.), Montr\u00e9al, Canada, June 1986."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"S.D. Brookes and A.W. Roscoe, ?An Improved Failure Model for Communicating Sequential Processes,?Proceedings of the NSF-SERC Seminar on Concurrency, Springer-Verlag LNCS 197, 1985.","DOI":"10.1007\/3-540-15670-4_14"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola,and M. Hennessy, ?Testing equivalences for processes,?Theo. Comp. Sci., 34:83?133, 1984.","journal-title":"Theo. Comp. Sci."},{"key":"CR4","doi-asserted-by":"crossref","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:211?237, 1987.","journal-title":"Acta Informatica"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01211314","volume":"5","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland and M. Hennessy, ?Testing Equivalence as Bisimulation Equivalence,?Formal Aspects of Computing, 5:1?20, 1993.","journal-title":"Formal Aspects of Computing"},{"key":"CR6","unstructured":"K. Drira, ?Tranformation et composition de graphes de refus: analyse de la testabilit\u00e9,? Doctorat Thesis, Universit\u00e9 de Toulouse, 1992."},{"issue":"No. 4","key":"CR7","doi-asserted-by":"crossref","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:896?928, Oct. 1985.","journal-title":"J. of ACM"},{"key":"CR8","volume-title":"Algebraic Theory for Processes","author":"M Hennessy","year":"1988","unstructured":"M Hennessy,Algebraic Theory for Processes, MIT Press, Cambridge, 1988."},{"key":"CR9","unstructured":"J.E. Hopcroft and J.D. Ullman,Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, p. 418, 1979."},{"key":"CR10","unstructured":"H. Ichikawa, K. Yamanaka, and J. Kato, ?Incremental Specification in LOTOS,?Symposium on Protocol Specification, Testing and Verification X (1990), Ottawa, Canada, Logrippo, Probert and Ural (eds.)."},{"key":"CR11","unstructured":"ISO?Information Processing Systems?Open Systems Interconnection, LOTOS?A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, DIS 8807, 1987."},{"key":"CR12","unstructured":"F. Khendek and G.v. Bochmann, ?Incremental Construction Approach for Distributed System Specifications,?Proceedings of the Int. Symp. on Formal Description Techniques, Boston, Mas., 26?29 Oct., 1993."},{"key":"CR13","unstructured":"G. Leduc, ?On the role of Implementation Relations in the Design of Distributed systems using LOTOS,? Doctoral Dissertation, Li\u00e8ge, Belgium."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R. Keller","year":"1976","unstructured":"R. Keller, ?Formal verification of parallel programs,?Comm. of the ACM 19, pp. 371?384, July 1976.","journal-title":"Comm. of the ACM"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"H.A. Lin, ?Constructing Protocols with Alternative Functions,?IEEE Transactions on Computer, Vol. 40, No. 4, April 1991.","DOI":"10.1109\/12.88459"},{"key":"CR16","volume-title":"Specification of object-oriented systems in LOTOS","author":"T. Mayr","year":"1988","unstructured":"T. Mayr,Specification of object-oriented systems in LOTOS, FORTE, Stirling, 1988."},{"key":"CR17","unstructured":"R. Milner,Communication and Concurrency, Prentice-Hall, 1989."},{"key":"CR18","series-title":"Lecture Notes in Computer Science","first-page":"67","volume-title":"Concurrency and Automata in Infinite Strings","author":"D. Park","year":"1981","unstructured":"D. Park, ?Concurrency and Automata in Infinite Strings,? Lecture Notes in Computer Science 104, Springer-Verlag, Berlin, 1981, pp. 67?183."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"S. Rudkin,Inheritance in LOTOS, Formal description technique?FORTE, Sydney, Australia, 1991, pp. 415?430.","DOI":"10.1016\/B978-0-444-89402-1.50037-0"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01384500.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01384500\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01384500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T20:09:47Z","timestamp":1683058187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01384500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["BF01384500"],"URL":"https:\/\/doi.org\/10.1007\/bf01384500","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}