Zobrazeno 1 - 10
of 68
pro vyhledávání: '"van Glabbeek, R.J."'
Autor:
van Glabbeek, R.J., Plotkin, G.D.
Publikováno v:
In Theoretical Computer Science 2009 410(41):4111-4159
Autor:
Fokkink, W.J., van Glabbeek, R.J.
Publikováno v:
Fokkink, W J & van Glabbeek, R J 2019, Preface . in W J Fokkink & R J van Glabbeek (eds), 0th International Conference on Concurrency Theory CONCUR 2019) . vol. 140, Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pp. 0:i-0:xiv, 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, Netherlands, 26/08/19 . https://doi.org/10.4230/LIPIcs.CONCUR.2019.0
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::05a40700fbfc3396d1f8e39eebcda801
https://hdl.handle.net/20.500.11820/bf0886ea-2b8f-4140-8556-58f044b7daba
https://hdl.handle.net/20.500.11820/bf0886ea-2b8f-4140-8556-58f044b7daba
Autor:
van Glabbeek, R.J.
Publikováno v:
van Glabbeek, R J 2020, Reactive temporal logic . in O Dardha & J Rot (eds), 27th International Workshop on Expressiveness in Concurrency 7th Workshop on Structural Operational Semantics, 31 August 2020 . vol. 322, Electronic Proceedings in Theoretical Computer Science, vol. 322, pp. 51-68, 31st International Conference on Concurrency Theory, Vienna, Austria, 1/09/20 . https://doi.org/10.4204/EPTCS.322.6
Whereas standard treatments of temporal logic are adequate for closed systems, having no run-time interactions with their environment, they fall short for reactive systems, interacting with their environments through synchronisation of actions. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::09fea583b74d990f22ef7c7a5829b685
https://hdl.handle.net/20.500.11820/6c4c309a-38c5-4668-befd-793eed3dffdc
https://hdl.handle.net/20.500.11820/6c4c309a-38c5-4668-befd-793eed3dffdc
Publikováno v:
Barry, R, van Glabbeek, R J & Höfner, P 2020, Formalising the Optimised Link State Routing Protocol . in A Fehnker & H Garavel (eds), Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, Ireland, April 26, 2020 . vol. 316, Electronic Proceedings in Theoretical Computer Science, pp. 40-71, 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Dublin, Ireland, 1/09/20 . https://doi.org/10.4204/EPTCS.316.3
Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as process algebras, avoid these problems, thus leading to more precise an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::ce799fc1e3ff6f9270c1ef95ec7a45e9
https://hdl.handle.net/20.500.11820/fe320918-7743-4529-bb4b-8c3235638bb3
https://hdl.handle.net/20.500.11820/fe320918-7743-4529-bb4b-8c3235638bb3
Autor:
van Glabbeek, R.J.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 14 April 2005 128(2):5-34
Autor:
van Glabbeek, R.J.
Publikováno v:
van Glabbeek, R J 2019, On the Meaning of Transition System Specifications . in J A Pérez & J Rot (eds), 6th International Workshop on Expressiveness in Concurrency 6th Workshop on Structural Operational Semantics, The Netherlands, 26th August 2019 . vol. 300, Electronic Proceedings in Theoretical Computer Science, vol. 300, pp. 69-85, 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, Netherlands, 26/08/19 . https://doi.org/10.4204/EPTCS.300.5
Transition System Specifications provide programming and specification languages with a semantics. They provide the meaning of a closed term as a process graph: a state in a labelled transition system. At the same time they provide the meaning of an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::f52267305772a902686b5419784522a0
https://www.pure.ed.ac.uk/ws/files/335238798/On_the_Meaning_of_VAN_GLABBEEK_DOP22082019_VOR_CC_BY.pdf
https://www.pure.ed.ac.uk/ws/files/335238798/On_the_Meaning_of_VAN_GLABBEEK_DOP22082019_VOR_CC_BY.pdf
Autor:
van Glabbeek, R.J
Publikováno v:
In Journal of Logic and Algebraic Programming July-December 2004 60-61:229-258
Autor:
Chaudhary, Kaylash, Fehnker, Ansgar, van de Pol, Jan Cornelis, Stoelinga, Mariëlle Ida Antoinette, van Glabbeek, R.J., Groote, J.F., Höfner, P.
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 196, Iss Proc. MARS 2015, Pp 46-60 (2015)
Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015), 46-60
STARTPAGE=46;ENDPAGE=60;TITLE=Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015)
Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015), 46-60
STARTPAGE=46;ENDPAGE=60;TITLE=Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015)
Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger. Since there is no
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::834244f73125c184b5726f3b419828d0
https://doi.org/10.4204/eptcs.196.5
https://doi.org/10.4204/eptcs.196.5