{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:04Z","timestamp":1725663664259},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_77","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:48:39Z","timestamp":1330210119000},"page":"20-22","source":"Crossref","is-referenced-by-count":0,"title":["Action and state-based logics for process algebras"],"prefix":"10.1007","author":[{"given":"Rocco","family":"Nicola","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"3_CR1","unstructured":"De Nicola,R. and Vaandrager,F.W.: Three Logics for Branching Bisimulations (Extended Abstract) in LICS '90, Philadelphia, USA, June 1990, IEEE Computer Society Press, Los Alamitos, CA, 1990, pp. 118\u2013129. Full paper appeared as CWI Report CS-R9012, 1990."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume":"469","author":"R. Nicola De","year":"1990","unstructured":"De Nicola, R. and Vaandrager, F.W.: Action versus State based Logics for Transition Systems. In Proceedings Ecole de Printemps on Semantics of Concurrency, April 1990, (I. Guessarian ed.), Lecture Notes in Computer Science 469, 1990, pp. 407\u2013419.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"De Nicola,R., Fantechi,A., Gnesi,S. and Ristori,G.: An action-based framework for verifying logical and behavioural properties of concurrent systems. In Proc. of 3rd Workshop on Computer Aided Verification, Lecture Notes in Computer Science, Springer Verlag, 1991, to appear.","DOI":"10.1007\/3-540-55179-4_5"}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:22Z","timestamp":1605646462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}