José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Proceedings of FOCLASA@CONCUR 2015
José Proença
,
Massimo Tivoli
January 2015
Cite
DOI
Type
Book
Publication
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015
Related
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Cite
×