Logics for Actor Networks: A Case Study in Constrained Hybridization

Jose Lopes Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic

doi:10.1007/978-3-319-73579-5_7

Logics for Actor Networks: A Case Study in Constrained Hybridization

Jose Lopes Fiadeiro
, Ionut Tutu
, Antónia Lopes
, Dusko Pavlovic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

150 Downloads (Pure)

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	https://doi.org/10.1007/978-3-319-73579-5_7
Publication status	E-pub ahead of print - 3 Jan 2018

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10669

Access to Document

10.1007/978-3-319-73579-5_7

Accepted ManuscriptAccepted author manuscript, 577 KB

Logics for Actor Networks: A two-stage constrained-hybridisation approach
Luiz Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., Aug 2019, In: Journal of Logical and Algebraic Methods in Programming. 106, p. 141-166 26 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

68 Downloads (Pure)

Semantic Completions: Unifying the Wave and the Particle Views of Information
Fiadeiro, J. L. (PI), Vovk, V. (CoI) & Pavlovic, D. (CoI)
Air Force Office of Scientific Research
1/01/16 → 31/12/16
Project: Research

Cite this

Lopes Fiadeiro, J., Tutu, I., Lopes, A., & Pavlovic, D. (2018). Logics for Actor Networks: A Case Study in Constrained Hybridization. In Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (pp. 98-114). (Lecture Notes in Computer Science; Vol. 10669). Springer. Advance online publication. https://doi.org/10.1007/978-3-319-73579-5_7

@inproceedings{64aa09d13c0c4718a9cbaf20e3976761,

title = "Logics for Actor Networks: A Case Study in Constrained Hybridization",

author = "\{Lopes Fiadeiro\}, Jose and Ionut Tutu and Ant{\'o}nia Lopes and Dusko Pavlovic",

year = "2018",

month = jan,

day = "3",

doi = "10.1007/978-3-319-73579-5\_7",

language = "English",

isbn = "978-3-319-73578-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "98--114",

booktitle = "Dynamic Logic. New Trends and Applications",

}

Lopes Fiadeiro, J, Tutu, I, Lopes, A & Pavlovic, D 2018, Logics for Actor Networks: A Case Study in Constrained Hybridization. in Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10669, Springer, pp. 98-114. https://doi.org/10.1007/978-3-319-73579-5_7

Logics for Actor Networks: A Case Study in Constrained Hybridization. / Lopes Fiadeiro, Jose; Tutu, Ionut; Lopes, Antónia et al.
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

TY - GEN

T1 - Logics for Actor Networks

T2 - A Case Study in Constrained Hybridization

AU - Lopes Fiadeiro, Jose

AU - Tutu, Ionut

AU - Lopes, Antónia

AU - Pavlovic, Dusko

PY - 2018/1/3

Y1 - 2018/1/3

U2 - 10.1007/978-3-319-73579-5_7

DO - 10.1007/978-3-319-73579-5_7

M3 - Conference contribution

SN - 978-3-319-73578-8

T3 - Lecture Notes in Computer Science

SP - 98

EP - 114

BT - Dynamic Logic. New Trends and Applications

PB - Springer

ER -

Lopes Fiadeiro J, Tutu I, Lopes A, Pavlovic D. Logics for Actor Networks: A Case Study in Constrained Hybridization. In 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). Epub 2018 Jan 3. doi: 10.1007/978-3-319-73579-5_7

Logics for Actor Networks: A Case Study in Constrained Hybridization

Publication series

Access to Document

Research output

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

Projects

Semantic Completions: Unifying the Wave and the Particle Views of Information

Cite this