{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T21:16:23Z","timestamp":1648761383508},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1990,11,1]],"date-time":"1990-11-01T00:00:00Z","timestamp":657417600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1990,11]]},"DOI":"10.1007\/bf02983375","type":"journal-article","created":{"date-parts":[[2008,11,5]],"date-time":"2008-11-05T18:35:20Z","timestamp":1225910120000},"page":"83-94","source":"Crossref","is-referenced-by-count":2,"title":["A characterization of set representable labeled partial 2-structures through decompositions"],"prefix":"10.1007","volume":"28","author":[{"given":"A.","family":"Ehrenfeucht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Rozenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02983375_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0304-3975(90)90129-6","volume":"70","author":"A. Ehrenfeucht","year":"1990","unstructured":"[ER 1] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci.70, 277\u2013304 (1990).","journal-title":"Theor. Comput. Sci."},{"key":"BF02983375_CR2","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0304-3975(90)90130-A","volume":"70","author":"A. Ehrenfeucht","year":"1990","unstructured":"[ER 2] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci.70, 305\u2013342 (1990)","journal-title":"Theor. Comput. Sci."},{"key":"BF02983375_CR3","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"[ER 3] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part I: Basic notions and the representation problem. Acta Inf.27, 315\u2013342 (1990)","journal-title":"Acta Inf."},{"key":"BF02983375_CR4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"[ER 4] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part II: State spaces of concurrent systems. Acta Inf.27, 343\u2013368 (1990)","journal-title":"Acta Inf."},{"key":"BF02983375_CR5","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/BFb0027048","volume-title":"Current trends in concurrency","author":"G. Rozenberg","year":"1986","unstructured":"[ER 5] Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.) Current trends in concurrency. (Lect. Notes Comput. Sci., vol. 224, pp. 585\u2013668) Berlin Heidelberg New York: Springer 1986"},{"key":"BF02983375_CR6","unstructured":"[NRT] Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems (manuscript)"},{"key":"BF02983375_CR7","doi-asserted-by":"crossref","unstructured":"[W] Winskel, G.: A compositional proof system on a category of labeled transition systems. Inf. Control (in press 1990)","DOI":"10.7146\/dpb.v18i294.6688"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02983375.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02983375\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02983375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:48:26Z","timestamp":1558568906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02983375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,11]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,11]]}},"alternative-id":["BF02983375"],"URL":"https:\/\/doi.org\/10.1007\/bf02983375","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,11]]}}}