{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:25Z","timestamp":1761611305797},"reference-count":34,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1080\/11663081.2000.10510987","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:12:47Z","timestamp":1338365567000},"page":"27-53","source":"Crossref","is-referenced-by-count":12,"title":["Process algebra with four-valued logic"],"prefix":"10.1080","volume":"10","author":[{"given":"Jan A.","family":"Bergstra","sequence":"first","affiliation":[]},{"given":"Alban","family":"Ponse","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"issue":"4","key":"CIT0001","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"Apt K. R.","year":"1981","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CIT0002","first-page":"273","volume-title":"Proceedings Summer School Marktoberdorf","author":"Baeten J. C.M.","year":"1992"},{"key":"CIT0003","volume-title":"Fundamenta Informaticae, IX(2): 127\u2013168","author":"Baeten J. C.M.","year":"1986"},{"issue":"4","key":"CIT0004","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1093\/comjnl\/37.4.243","volume":"37","author":"Bergstra J. A.","year":"1994","journal-title":"Computer Journal"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1080\/11663081.1995.10510855","volume":"5","author":"Bergstra J. A.","year":"1995","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"Barringer H.","year":"1984","journal-title":"Acta Informatica"},{"issue":"3","key":"CIT0007","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"Brookes S. D.","year":"1984","journal-title":"Journal of the ACM"},{"key":"CIT0008","first-page":"1","volume-title":"Lecture Notes in Computer Science","volume":"1994","author":"Bergstra J. A.","year":"1984"},{"key":"CIT0009","doi-asserted-by":"crossref","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"Bergstra J. A.","year":"1984","journal-title":"Information and Control"},{"key":"CIT0010","first-page":"287","volume":"4","author":"Bochvar D. A.","year":"1939","journal-title":"Mat\u00e9mati\u010deskij sbornik"},{"key":"CIT0011","unstructured":"Bergstra, J. A. and van de Pol, J. C. 1996. \u201cA calculus for sequential logic with 4 values. Technical Report 160, Logic Group Preprint Series, Utrecht University\u201d. (see alsohttp:\/\/www.phil.uu.nl\/preprints.html)."},{"key":"CIT0012","doi-asserted-by":"crossref","unstructured":"Bergstra, J. A. and Ponse, A. 1997. \u201cBochvar-McCarthy logic and process algebra. Technical Report P9722, Programming Research Group, University of Amsterdam\u201d. (http:\/\/www.wins.uva.nl\/research\/prog\/reports\/reports.html).","DOI":"10.1305\/ndjfl\/1039118863"},{"key":"CIT0013","unstructured":"Bergstra, J. A. and Ponse, A. 1997.Process algebra primitives for file transfer. Liber Amicorum dedicated to Paul Klint33\u201342. CWI, 1997. Also: Technical Report P9725, Programming Research Group, University of Amsterdam, (http:\/\/www.wins.uva.nl\/research\/prog\/reports\/reports.html)."},{"issue":"2","key":"CIT0014","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0020-0190(98)00083-0","volume":"67","author":"Bergstra J. A.","year":"1998","journal-title":"Information Processing Letters"},{"key":"CIT0015","volume-title":"Combinatorics, Complexity, and Logic. Proceedings of DMTCS'99 and CATS'99, Springer-Verlag, Singapore","author":"Bergstra J. A.","year":"1999"},{"key":"CIT0016","unstructured":"Bergstra, J. A. and Sellink, M. P.A. 1996. \u201cSequential data algebra primitives. Technical Report P9602b, Programming Research Group, University of Amsterdam\u201d. (http:\/\/www.wins.uva.nl\/research\/prog\/reports\/reports.html)."},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of Philosophical Logic, Vol. II","author":"Burgess J. P.","year":"1984"},{"key":"CIT0018","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process algebra.","author":"Baeten J. C.M.","year":"1990"},{"key":"CIT0019","first-page":"43","volume-title":"Programming Languages","author":"Dijkstra E. W.","year":"1968"},{"issue":"8","key":"CIT0020","first-page":"453","volume":"18","author":"Dijkstra E. W.","year":"1975","journal-title":"Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Communications of the ACM"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1996.0030","volume":"126","author":"Fokkink W. J.","year":"1996","journal-title":"Information and Computation"},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1007\/3-540-63165-8_212","volume-title":"Proc. 24th Colloquium on Automata, Languages and Programming\u2014ICALP'97","author":"Fokkink W. J.","year":"1997"},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF01221097","volume":"6","author":"Groote J. F.","year":"1994","journal-title":"Formal Aspects of Computing"},{"issue":"2","key":"CIT0024","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","volume":"118","author":"Groote J. F.","year":"1993","journal-title":"Theoretical Computer Science"},{"issue":"8","key":"CIT0025","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"Hoare C. A.R.","year":"1987","journal-title":"Communications of the ACM"},{"issue":"5","key":"CIT0026","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF01178666","volume":"31","author":"Jones C. B.","year":"1994","journal-title":"Acta Informatica"},{"key":"CIT0027","volume-title":"Systematic Software Development using VDM (2nd edition). Prentice-Hall International, Englewood Cliffs","author":"Jones C. B.","year":"1990"},{"key":"CIT0028","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"Kalman J.","year":"1958","journal-title":"Trans. Am. Math. Soc."},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"Kleene S. C.","year":"1938","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0030","first-page":"3","volume-title":"Automata Studies","author":"Kleene S. C.","year":"1956"},{"key":"CIT0031","volume-title":"Computer Programming and Formal Systems, pages 3370, North-Holland, Amsterdam","author":"McCarthy J.","year":"1963"},{"key":"CIT0032","volume-title":"Information and Computation 95(2):192\u20132n","author":"Ponse A.","year":"1991"},{"key":"CIT0033","volume-title":"A complete system of four-valued logic. Technical Report P9616","author":"Rodenburg P. H.","year":"1996"},{"issue":"2","key":"CIT0034","first-page":"274","volume":"2","author":"Verhoef C.","year":"1995","journal-title":"Nordic Journal of Computing"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,16]],"date-time":"2022-01-16T12:56:10Z","timestamp":1642337770000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.2000.10510987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["10.1080\/11663081.2000.10510987"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2000.10510987","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}