Výsledky vyhledávání

Autor: Heerdt, G. Ter, Jacobs, B., Kappé, T., Silva, A., Boer, F. de, Bonsangue, M., Rutten, J.

Publikováno v: Its All About Coordination
It's All About Coordination
Lecture Notes in Computer Science
Lecture Notes in Computer Science-It's All About Coordination
Lecture Notes in Computer Science ISBN: 9783319900889
Boer, F. de; Bonsangue, M.; Rutten, J. (ed.), It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, pp. 139-159
Boer, F. de; Bonsangue, M.; Rutten, J. (ed.), It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 139-159. Cham : Springer International Publishing
STARTPAGE=139;ENDPAGE=159;ISSN=0302-9743;TITLE=Boer, F. de; Bonsangue, M.; Rutten, J. (ed.), It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Reo is a visual language of connectors that originated in component-based software engineering. It is a flexible and intuitive language, yet powerful and capable of expressing complex patterns of composition. The intricacies of the language resulted

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::535d9cb74d032c93e331fdee642531b2
https://hdl.handle.net/2066/195387

Zobrazit plný text záznamu

Completeness and Incompleteness of Synchronous Kleene Algebra

Autor: Wagemaker, J., Bonsangue, M., Kappé, T., Rot, J., Silva, A., Hutton, G.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030336356
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Mathematics of Program Construction
Hutton, G. (ed.), Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings, 385-413. Cham : Springer International Publishing
STARTPAGE=385;ENDPAGE=413;ISSN=0302-9743;TITLE=Hutton, G. (ed.), Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings
Mathematics of Program Construction-13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Hutton, G. (ed.), Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings, pp. 385-413

Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the axioms of SKA a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::199495cc5e76799bb37abbd089907f2a
https://doi.org/10.1007/978-3-030-33636-3_14

Zobrazit plný text záznamu

Industrial application of formal models generated from domain specific languages

Autor: Hooman, J.J.M., Ábrahám, E., Bonsangue, M., Johnsen, B.E.

Publikováno v: Abraham E.Bonsangue M.Johnsen E.B., Frank de Boer on the Occasion of His 60th Birthday, 2016, 5 July 2016 through 5 July 2016, 9660, 277-293
Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 277-293. Cham : Springer International Publishing
STARTPAGE=277;ENDPAGE=293;ISSN=0302-9743;TITLE=Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 277-293

Domain Specific Languages (DSLs) provide a lightweight approach to incorporate formal techniques into the industrial workflow. From DSL instances, formal models and other artefacts can be generated, such as simulation models and code. Having a single

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bf4ba4f18ab2feb46c22d9667f34b1f6
http://resolver.tudelft.nl/uuid:ae08c7ae-dd57-410a-ab13-58a22fc47723

Zobrazit plný text záznamu

Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Autor: Krebbers, R., Parlant, L., Silva, A., Ábrahám, E., Bonsangue, M., Johnsen, B.E.

Publikováno v: Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 309-324
Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 309-324. Cham : Springer International Publishing
STARTPAGE=309;ENDPAGE=324;ISSN=0302-9743;TITLE=Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Contains fulltext : 159576.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4d88fcf35ee1dba3cf1efe8554293247
https://hdl.handle.net/2066/159576

Zobrazit plný text záznamu

Foundations

Autor: Lankhorst, M.M., Torre, Leon van der, Proper, H.A., Arbab, F., Boer, F.S. de, Bonsangue, M., Lankhorst, M.

Publikováno v: The Enterprise Engineering Series, 41-58. Berlin, Heidelberg : Springer Berlin Heidelberg
STARTPAGE=41;ENDPAGE=58;TITLE=The Enterprise Engineering Series

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e242a2e610924d8e1f868fa0cefed2e3
http://hdl.handle.net/2066/173191

Zobrazit plný text záznamu

Formal Frameworks for Verifying Normative Multi-agent Systems

Autor: Knobbout, M., Dastani, M.M., Meyer, J.J.C., Ábrahám, E., Bonsangue, M., Johnsen, E.B.

In this paper we concern ourselves with normative multi-agent systems, which are multi-agent systems governed by a set of norms. In these systems, the internals and architecture of the participating agents may be unknown to us, which disables us to m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______101::ed6b43b252cbab42ba5e5318e1249170
https://dspace.library.uu.nl/handle/1874/343758

Zobrazit plný text záznamu

Integrating Architectural Models

Autor: Arbab, F., Boer, F.S. de, Bonsangue, M., Lankhorst, M.M., Proper, H.A., Torre, L.W.N.

Publikováno v: Enterprise Modelling and Information Systems Architectures, 2, pp. 40-57
Enterprise Modelling and Information Systems Architectures, 2, 40-57

Contains fulltext : 34595.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3b94ab97403a36f1becc47599adc6a2
https://hdl.handle.net/2066/34595

Zobrazit plný text záznamu

Equations and Coequations for Weighted Automata

Autor: Salamanca, J., Bonsangue, M., Rutten, J., Italiano, G.F., Pighizzini, G., Sannella, D.T.

Publikováno v: Italiano, G.F.; Pighizzini, G.; Sannella, D.T. (ed.), Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, pp. 444-456
Mathematical Foundations of Computer Science 2015 ISBN: 9783662480564
MFCS (1)
Lecture Notes in Computer Science ; 9234, 444-456. Berlin : Springer
STARTPAGE=444;ENDPAGE=456;TITLE=Lecture Notes in Computer Science ; 9234

We study weighted automata from both an algebraic and a coalgebraic perspective. In particular, we consider equations and coequations for weighted automata. We prove a duality result that relates sets of equations (congruences) with (certain) subsets

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dcb215ad58eadf93ee7d2cd5625fa1c1
https://hdl.handle.net/2066/143636

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání