Logics for actor networks: a two-stage constrained-hybridisation approach
From MaRDI portal
Publication:2423775
DOI10.1016/j.jlamp.2019.05.001zbMath1423.68048OpenAlexW2944032716WikidataQ127900446 ScholiaQ127900446MaRDI QIDQ2423775
Antónia Lopes, Dusko Pavlovic, Ionuţ Ţuţu, José Luiz Fiadeiro
Publication date: 20 June 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.05.001
Network design and communication in computer systems (68M10) Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Network protocols (68M12)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Heterogeneous and asynchronous networks of timed systems
- Application of modal logic to programming
- Axiomatising the logic of computer programming
- Birkhoff style calculi for hybrid logics
- Logics for actor networks: a case study in constrained hybridization
- Modal logic, truth, and the master modality.
- Hybrid languages
- Hierarchies of modal and temporal logics with reference pointers
- Hierarchical hybrid logic
- Foundations of logic programming in hybrid logics with user-defined sharing
- Graph and model transformation. General framework and applications
- Quasi-varieties and initial semantics for hybridized institutions
- Service-Oriented Logic Programming
- Hybridization of Institutions
- Statistical Model Checking for Cyber-Physical Systems
- Axioms for bigraphical structure
- The Space and Motion of Communicating Agents
- Dynamic Epistemic Temporal Logic
- Hybrid languages and temporal logic
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- Logical Foundations of Cyber-Physical Systems
- A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
- An axiomatic basis for computer programming
- Automata, Languages and Programming
- Hybrid logic and its proof-theory
