{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:22:27Z","timestamp":1725650547454},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571926"},{"type":"electronic","value":"9783642784866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78486-6_94","type":"book-chapter","created":{"date-parts":[[2012,1,8]],"date-time":"2012-01-08T17:17:00Z","timestamp":1326043020000},"page":"528-533","source":"Crossref","is-referenced-by-count":1,"title":["Combined Algebraic Specification Techniques for Concurrent and Distributed Systems"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"94_CR1","series-title":"CWI Monographs I series","first-page":"89","volume-title":"Algebra of Communicating Processes","author":"JA Bergstra","year":"1986","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of Communicating Processes; CWI Monographs I series, Proc. of the CWIU Symp. Math, and Comp. Sci., NH Amsterdam 1986, pp. 89\u2013138"},{"key":"94_CR2","volume-title":"Process Algebra, Cambridge Tracts in Theoretical Computer Science 18","author":"JCM Baeten","year":"1990","unstructured":"Baeten, J.C.M.; Weijland, W.P.: Process Algebra, Cambridge Tracts in Theoretical Computer Science 18 (Cambridge University Press), 1990"},{"key":"94_CR3","series-title":"Springer LNCS","volume-title":"Semantics, Composition and Net Properties of Algebraic High-Level Nets","author":"C Dimitrovici","year":"1991","unstructured":"Dimitrovici, C; Hummert, U., Petrucci, L.: Semantics, Composition and Net Properties of Algebraic High-Level Nets, Springer LNCS, 483, 1991"},{"key":"94_CR4","first-page":"361","volume":"1","author":"H Ehrig","year":"1992","unstructured":"Ehrig, H.; Habel, A.; Kreowski, H.-J.; Parisi-Presicce, F.: Parallelism and Concurrency in High-Level-Replacement Systems. MSCS 1 (1992), pp. 361\u2013404","journal-title":"MSCS"},{"key":"94_CR5","unstructured":"Ehrig, H.; Gro\u00dfe-Rhode, M.; Heise, A.: Specification Techniques for Concurrent and Distributed Systems. Techn. Report TU Berlin, FB 20, No. 92\u201305"},{"key":"94_CR6","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1. Equations and Initial Semantics","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)"},{"key":"94_CR7","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0304-3975(90)90049-N","volume":"71","author":"H Ehrig","year":"1990","unstructured":"Ehrig, H., Parisi-Presicce, F., Boehm, P., Rieckhoff, C., Dimitrovici, C., Gro\u00dfe-Rhode, M.: Combining Data Type and Recursive Process Specifications using Projection Algebras. Theoretical Computer Science 71 (1990), pp. 347\u2013380 (North-Holland)","journal-title":"Theoretical Computer Science"},{"key":"94_CR8","unstructured":"Ehrig, H.; Padberg, J.; Ribeiro, L.: Algebraic High-Level Nets: Petri Nets Revisited. Techn. Report TU Berlin, FB 20, No. 93\u201306"},{"key":"94_CR9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/3-540-51722-7_11","volume-title":"Categorical Methods in Computer Science \u2014 with Aspects from Topology","author":"M Gro\u00dfe-Rhode","year":"1989","unstructured":"Gro\u00dfe-Rhode, M.: Parameterized Data Type and Process Specifications using Projection Algebras, in: Categorical Methods in Computer Science \u2014 with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preu\u00df, eds.), Springer LNCS 393 (1989), 185\u2013197."},{"key":"94_CR10","volume-title":"Abstract data types as initial algebras and the correctness of data representations","author":"JA Goguen","year":"1975","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Abstract data types as initial algebras and the correctness of data representations. Proc. of Conf. on Computer Graphics, Pattern Recognition and Data Structures, 1975"},{"key":"94_CR11","series-title":"Techn. Report 342\u201329\u201390 A, Sonderforschungsbereich 342: Methoden und Werkzeuge f\u00fcr die Nutzung paralleler Rechnerarchitekturen","volume-title":"Transformation und Komposition von p-Netzen unter Erhaltung wesentlicher Eigenschaften","author":"A Heise","year":"1990","unstructured":"Heise, A.; Dimitrovici, C.: Transformation und Komposition von p-Netzen unter Erhaltung wesentlicher Eigenschaften. Techn. Report 342\u201329\u201390 A, Sonderforschungsbereich 342: Methoden und Werkzeuge f\u00fcr die Nutzung paralleler Rechnerarchitekturen, 1990"},{"key":"94_CR12","series-title":"Internal Report","volume-title":"The meaning of Specifications I: Domains and Initial Models","author":"W Hodges","year":"1991","unstructured":"Hodges, W.: The meaning of Specifications I: Domains and Initial Models, Internal Report, University of London, 1991"},{"key":"94_CR13","volume-title":"Master\u2019s thesis, TU Berlin","author":"U Hummert","year":"1989","unstructured":"Hummert, U.: Algebraische Theorie von High-Level-Netzen. Master\u2019s thesis, TU Berlin, 1989"},{"key":"94_CR14","series-title":"Theoretical Computer Science","volume-title":"Coloured Petri nets and the invariant-method","author":"K Jensen","year":"1981","unstructured":"Jensen, K.: Coloured Petri nets and the invariant-method. Theoretical Computer Science, 14, 1981"},{"key":"94_CR15","volume-title":"Syntactic Software Development using VDM","author":"CB Jones","year":"1986","unstructured":"Jones, C.B.: Syntactic Software Development using VDM, Prentice Hall, 1986"},{"key":"94_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"High-Level Petri Nets: Theory and Applications","author":"K Jensens","year":"1992","unstructured":"Jensens, K.; Rozenberg, G.: High-Level Petri Nets: Theory and Applications, Springer Verlag, Berlin 1992"},{"key":"94_CR17","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency, Prentice Hall, 1989"},{"key":"94_CR18","series-title":"TCS","volume-title":"Petri nets are monoids","author":"J Meseguer","year":"1990","unstructured":"Meseguer, J.; Montanari, U.: Petri nets are monoids. TCS, 88, 1990"},{"key":"94_CR19","unstructured":"Padberg, J.; Ehrig, H.; Ribeiro, L.: Algebraic High-Level Net Transformation Systems, Technical Report TU Berlin, FB 20, No. 93\u201312"},{"key":"94_CR20","first-page":"386","volume-title":"Fundamentals of a Theory of Asynchronous Information Flow, Inform. Processing 1962","author":"CA Petri","year":"1962","unstructured":"Petri, C.A.: Fundamentals of a Theory of Asynchronous Information Flow, Inform. Processing 1962, Proc. of the IFIP Congress 1962, Munich; North Holland Publishing Company Amsterdam (1962), pp 386\u2013390"},{"key":"94_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. Springer Verlag, Berlin-Heidelberg-New York, 1985"},{"key":"94_CR22","series-title":"TCS","first-page":"1","volume-title":"Petri nets and algebraic specifications","author":"W Reisig","year":"1991","unstructured":"Reisig, W.: Petri nets and algebraic specifications. TCS, 80, pp 1 \u2013 34, 1991"},{"key":"94_CR23","volume-title":"Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations","author":"L Ribeiro","year":"1993","unstructured":"Ribeiro, L.; Ehrig, H.; Padberg, J.: Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. Submitted 1993"},{"key":"94_CR24","volume-title":"The Z Notation, A Reference Manual","author":"JM Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z Notation, A Reference Manual, Prentice Hall, 1989"},{"key":"94_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09262-9","volume-title":"Analyse von Petri-Netz-Modellen","author":"P Starke","year":"1990","unstructured":"Starke, P.: Analyse von Petri-Netz-Modellen. Teubner Verlag, Stuttgart, 1990"},{"key":"94_CR26","series-title":"Trans. Prog. Lang. and Syst.","first-page":"119","volume-title":"Data type specification: parameterization and the power of specification techniques","author":"JW Thatcher","year":"1982","unstructured":"J.W. Thatcher, E.G. Wagner, J.B. Wright: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119\u2013132. Trans. Prog. Lang. and Syst. 4 (1982), 711\u2013732"},{"key":"94_CR27","volume-title":"7th European Workshop on Applications and Theory of Petri Nets","author":"J Vauthcrin","year":"1986","unstructured":"Vauthcrin, J.: Parallel systems specifications with colored Petri nets and algebraic abstract data types. In 7th European Workshop on Applications and Theory of Petri Nets, 1986"}],"container-title":["Informatik aktuell","Informatik \u2014 Wirtschaft \u2014 Gesellschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78486-6_94.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:59:52Z","timestamp":1620305992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78486-6_94"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571926","9783642784866"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78486-6_94","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}