{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:10Z","timestamp":1725663490540},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563792"},{"type":"electronic","value":"9783540475453"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56379-2_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:06:57Z","timestamp":1330236417000},"page":"164-180","source":"Crossref","is-referenced-by-count":15,"title":["How to specify non determinism and true concurrency with algebraic term nets"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Bettaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Maouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","unstructured":"E. Astesiano, G. Reggio: A structural approach to the formal modelization and specification of concurrent systems. Dipartimento di Matematica, Universita di Genova 1990"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"M. Bettaz: An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. In: H. Ehrig, K.P. Jantke, F. Orejas, H. Reichel (eds.): Recent Trends in Data Type Specification. Lecture Notes in Computer Science 534. Springer-Verlag 1991, pp. 11\u201330","DOI":"10.1007\/3-540-54496-8_2"},{"key":"7_CR3","unstructured":"M. Bettaz: On the Expressiveness of Algebraic Term Nets. 6th International Workshop on Software Specification and Design. Concurrency and Distribution Track. Como 10\/1991"},{"key":"7_CR4","unstructured":"M. Bettaz, A. Choutri: Algebraic Term Nets, a Formalism for Specifying Communication Software in the OSI Framework. In: CMI Rattray, RG Clark (eds.): The Unified Computation Laboratory. Oxford University Press 1992, pp. 293\u2013305"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"M. Bettaz, M. Maouche, M. Soualmi, M. Boukebeche: Using ECATNets for Specifying Communication Software in the OSI Framework. ICCI Conference 5\/92, Torento, IEEE","DOI":"10.1109\/ICCI.1992.227624"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/32.4651","volume":"14","author":"J. Billington","year":"1988","unstructured":"J. Billington et al.: PROTEAN, A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. IEEE Transactions on Software Engineering. Vol.14, 3, 3\/1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR7","unstructured":"J. Billington: Extensions to Coloured Petri Nets. In Proceedings of the Third International Workshop on Petri Nets and Performance Models. Kyoto 12\/1989"},{"key":"7_CR8","unstructured":"J. Billington: Many-Sorted High-Level Nets. In Proceedings of the Third International Workshop on Petri Nets and Performance Models. Kyoto 12\/1989"},{"key":"7_CR9","unstructured":"O. Bounouioua, M. Bettaz: A Graphical Editor-Simulator for Algebraic Term Nets. In Proceedings of the Second Maghrebin Conference on SE and AI. Tunis 4\/1992"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1. Springer EATCS Monographs on Theoretical Computer Science, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"7_CR11","unstructured":"H. Ehrig, M. Grose-Rhode, A. Heise: Specification Techniques for Concurrent and Distributed Systems. In Proceedings of the Second Maghrebin Conference on SE and AI. Tunis 4\/1992"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J. Meseguer: A Logical Theory of Concurrent Objects. In Proceedings ECOOP\/OOPSLA '90. Ottawa 10\/1990, ACM.","DOI":"10.1145\/97945.97958"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reizig","year":"1991","unstructured":"W. Reizig: Petri Nets and Algebraic Specifications. TCS 80, 1\u201334, 1991","journal-title":"TCS"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"J. Vautherin: Parallel System Specification with Colored Petri Nets and Algebraic Abstract Data Types. 7th European Workshop on Application and Theory of Petri Nets. Oxford 1986","DOI":"10.1007\/3-540-18086-9_31"},{"key":"7_CR15","unstructured":"M. Wilbur-Ham: Numerical Petri Nets a Guide, version 2. Telecom Australia, Research Laboratory 1987"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56379-2_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T23:46:05Z","timestamp":1640907965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56379-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563792","9783540475453"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56379-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}