BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

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

Participants in the publication
José Luiz Fiadeiro (Author)
Ionu? ?u?u (Author)
Antónia Lopes (Author)
Dep. Informática
 LASIGE
 Dusko Pavlovic (Author)

Date of Publication
2019-08

Where published
Journal of Logical and Algebraic Methods in Programming

Publication Identifiers
ISSN - 2352-2208

Publisher
Elsevier BV

Volume
106

Number of pages
25
Starting page
141
Last page
166

Document Identifiers
DOI - https://doi.org/10.1016/j.jlamp.2019.05.001
URL - http://dx.doi.org/10.1016/j.jlamp.2019.05.001

Rankings
CORE A (2018) -


Export

APA
José Luiz Fiadeiro, Ionu? ?u?u, Antónia Lopes, Dusko Pavlovic, (2019). Logics for Actor Networks: A two-stage constrained-hybridisation approach. Journal of Logical and Algebraic Methods in Programming, 106, 141-166. ISSN 2352-2208. eISSN . http://dx.doi.org/10.1016/j.jlamp.2019.05.001

IEEE
José Luiz Fiadeiro, Ionu? ?u?u, Antónia Lopes, Dusko Pavlovic, "Logics for Actor Networks: A two-stage constrained-hybridisation approach" in Journal of Logical and Algebraic Methods in Programming, vol. 106, pp. 141-166, 2019. 10.1016/j.jlamp.2019.05.001

BIBTEX
@article{40646, author = {José Luiz Fiadeiro and Ionu? ?u?u and Antónia Lopes and Dusko Pavlovic}, title = {Logics for Actor Networks: A two-stage constrained-hybridisation approach}, journal = {Journal of Logical and Algebraic Methods in Programming}, year = 2019, pages = {141-166}, volume = 106 }