{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:39:53Z","timestamp":1777646393648,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2000,3]]},"abstract":"<jats:p>The formal language \u03c7 Core is derived from the systems engineering specification language \u03c7. The language has its roots in Mechanical Engineering where it was designed to specify and analyse production systems. These production systems are described by concurrent communicating processes and can be analysed with the \u03c7 simulator. \u03c7 Core is a formalisation and simplification of the semantics of the \u03c7 language. Our motivation to design \u03c7 Core is the lack of a properly defined semantics of the \u03c7 specification language itself and the need for improved opportunities for the analysis of production systems. The operational semantics of \u03c7 Core is defined in a standard SOS-style. A bisimulation on \u03c7 Core processes is defined and shown to be a congruence. Based on this bisimulation, properties and time aspects of \u03c7 Core processes are discussed. The relation between \u03c7 and \u03c7 Core is explained by means of a translation scheme. Finally, an example specification of a production system is given and conclusions are drawn.<\/jats:p>","DOI":"10.3233\/fi-2000-41401","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T22:04:51Z","timestamp":1575324291000},"page":"367-392","source":"Crossref","is-referenced-by-count":3,"title":["Formalisation of a Production System Modelling Language The operational semantics of \u03c7 Core"],"prefix":"10.1177","volume":"41","author":[{"given":"V.","family":"Bos","sequence":"first","affiliation":[{"name":"Department of Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands. V.Bos@tue.nl"}]},{"given":"J.J.T.","family":"Kleijn","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands. J.J.T.Kleijn@tue.nl"}]}],"member":"179","published-online":{"date-parts":[[2000,1,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2000-41401","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2000-41401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:35:06Z","timestamp":1777444506000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2000-41401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1,1]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["10.3233\/FI-2000-41401"],"URL":"https:\/\/doi.org\/10.3233\/fi-2000-41401","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,1,1]]}}}