A distributed API for coordinating AbC programs
Journal article, 2020
Semantics
Programming API
Process calculi
Attribute-based interaction
Author
Yehia Abd Alrahman
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
University of Gothenburg
Giulio Garbi
IMT School for Advanced Studies
International Journal on Software Tools for Technology Transfer
1433-2779 (ISSN) 1433-2787 (eISSN)
Vol. 22 4 477-496Subject Categories (SSIF 2011)
Embedded Systems
Computer Science
Computer Systems
DOI
10.1007/s10009-020-00553-4