Logics for Actor Networks : A Case Study in Constrained Hybridization. / Lopes Fiadeiro, Jose; Tutu, Ionut; Lopes, Antónia; Pavlovic, Dusko.
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Springer, 2018. p. 98-114 (Lecture Notes in Computer Science; Vol. 10669).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
E-pub ahead of print
Documents
- Accepted Manuscript
Accepted author manuscript, 577 KB, PDF document
| Original language | English |
|---|---|
| Title of host publication | Dynamic Logic. New Trends and Applications |
| Subtitle of host publication | First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings |
| Publisher | Springer |
| Pages | 98-114 |
| Number of pages | 17 |
| ISBN (Electronic) | 978-3-319-73579-5 |
| ISBN (Print) | 978-3-319-73578-8 |
| DOIs | |
| Publication status | E-pub ahead of print - 3 Jan 2018 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 10669 |
Research outputs
Logics for Actor Networks: A two-stage constrained-hybridisation approach
Research output: Contribution to journal › Article
Projects
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 28778544