José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Proceedings of FOCLASA@CONCUR 2014
Javier Cámara
,
José Proença
January 2015
Cite
DOI
Type
Book
Publication
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014
Related
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
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021
Cite
×