Logics for Actor Networks: A two-stage constrained-hybridisation approach

Autor: Ionuţ Ţuţu, Antónia Lopes, José Luiz Fiadeiro, Dusko Pavlovic

Publikováno v: Journal of Logical and Algebraic Methods in Programming. 106:141-166

Actor Networks are a modelling framework for cyber-physical-system protocols based on Latour's actor-network theory that addresses the way we now create and exploit the power of networks whose components are no longer limited to programs, but can als

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1cda595c84a7c9cc783e58652345af10
https://doi.org/10.1016/j.jlamp.2019.05.001

Heterogeneous and asynchronous networks of timed systems

Autor: Antónia Lopes, José Luiz Fiadeiro

Publikováno v: Theoretical Computer Science. 663:1-33

We present a component algebra and an associated logic for heterogeneous timed systems that can be interconnected at run time. The components of the algebra are asynchronous networks of processes, where processes are sets of traces that model the beh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ec621afe6e6979fba6b4fe443a8e0ad2
https://doi.org/10.1016/j.tcs.2016.12.014

Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Autor: José Luiz Fiadeiro, Ionuț Țuțu

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully re

Dynamic networks of heterogeneous timed machines

Autor: Antónia Lopes, Axel Legay, José Luiz Fiadeiro, Benoît Delahaye

Publikováno v: Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, 2018, 28 (06), pp.800-855. ⟨10.1017/S0960129517000135⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (06), pp.800-855. ⟨10.1017/S0960129517000135⟩

International audience; We present an algebra of discrete timed input/output automata that may execute in the context of different clock granularities – which we call timed machines; this algebra includes a refinement operator through which a machi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9cfdc1e68460cec0eff18a389b1c22d
https://hal.science/hal-01917079

An interface theory for service-oriented design

Autor: Antónia Lopes, José Luiz Fiadeiro

Publikováno v: Theoretical Computer Science. 503:1-30

We put forward an interface and component algebra through which we characterise fundamental structures that support service-oriented design independently of the specific formalisms that may be adopted to provide models for languages or analysis tools

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fca8891bc9076553fdc3e55607f6f31d
https://doi.org/10.1016/j.tcs.2013.05.011