Zobrazeno 1 - 10
of 326
pro vyhledávání: '"Baeten, J.C.M."'
Autor:
Baeten, J.C.M., Reniers, M.A.
Publikováno v:
In Journal of Logic and Algebraic Programming 2007 70(2):151-171
Autor:
Baeten, J.C.M., Bergstra, J.A.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 29 September 2006 162:61-64
Autor:
Bortnik, E., Trčka, N., Wijs, A.J., Luttik, B., van de Mortel-Fronczak, J.M., Baeten, J.C.M., Fokkink, W.J., Rooda, J.E.
Publikováno v:
In Journal of Logic and Algebraic Programming 2005 65(2):51-104
Autor:
Baeten, J.C.M, de Vink, E.P
Publikováno v:
In Journal of Logic and Algebraic Programming July-December 2004 60-61:323-351
Autor:
Baeten, J.C.M.
Publikováno v:
In Electronic Notes in Theoretical Computer Science February 2003 39(1):3-20
Autor:
Baeten, J.C.M., Middelburg, C.A. *
Publikováno v:
In Journal of Logic and Algebraic Programming 2001 48(1):1-38
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, 255, 1-17. Open Publishing Association
Proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency, Berlin, Germany, 4th September 2017, 1-17
STARTPAGE=1;ENDPAGE=17;TITLE=Proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency, Berlin, Germany, 4th September 2017
Electronic Proceedings in Theoretical Computer Science, Vol 255, Iss Proc. EXPRESS/SOS 2017, Pp 1-17 (2017)
Proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency, Berlin, Germany, 4th September 2017, 1-17
STARTPAGE=1;ENDPAGE=17;TITLE=Proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency, Berlin, Germany, 4th September 2017
Electronic Proceedings in Theoretical Computer Science, Vol 255, Iss Proc. EXPRESS/SOS 2017, Pp 1-17 (2017)
The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0581ff2537ffc5d882583812289078a7
https://dare.uva.nl/personal/pure/en/publications/sequential-composition-in-the-presence-of-intermediate-termination(184cd7b3-9292-4726-87db-e781938bfe41).html
https://dare.uva.nl/personal/pure/en/publications/sequential-composition-in-the-presence-of-intermediate-termination(184cd7b3-9292-4726-87db-e781938bfe41).html
Autor:
Markovski, J., Beek, van, D.A., Baeten, J.C.M., Derrick, J., Gnesi, S., Latella, D., Treharne, H.
Publikováno v:
Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings), 253-267
STARTPAGE=253;ENDPAGE=267;TITLE=Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642307287
IFM
STARTPAGE=253;ENDPAGE=267;TITLE=Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642307287
IFM
Supervisory control deals with automated synthesis of controllers based on models of the uncontrolled system and the control requirements. In this paper we share the lessons learned from synthesizing controllers for a patient support system of an MRI
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4693db6dd1a8fb3e7803f911abedd743
https://doi.org/10.1007/978-3-642-30729-4_18
https://doi.org/10.1007/978-3-642-30729-4_18
Publikováno v:
PACO
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011), 36-55
STARTPAGE=36;ENDPAGE=55;TITLE=Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
Electronic Proceedings in Theoretical Computer Science, Vol 60, Iss Proc. PACO 2011, Pp 36-55 (2011)
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011), 36-55
STARTPAGE=36;ENDPAGE=55;TITLE=Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
Electronic Proceedings in Theoretical Computer Science, Vol 60, Iss Proc. PACO 2011, Pp 36-55 (2011)
A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studies automated synthesis of controller models, known as supervisors, base
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c214b982eb97bdd92faaa8c19ccb696c
https://doi.org/10.4204/eptcs.60.3
https://doi.org/10.4204/eptcs.60.3