Works matching IS 00015903 AND DT 2020 AND VI 57 AND IP 6
Results: 4
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.
- Published in:
- 2020
- By:
- Publication type:
- Correction Notice
Preface to special issue: EXPRESS/SOS 2016 + 2017.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
Using session types for reasoning about boundedness in the π-calculus.
- Published in:
- Acta Informatica, 2020, v. 57, n. 6, p. 801, doi. 10.1007/s00236-019-00339-5
- By:
- Publication type:
- Article
Expressiveness of component-based frameworks: a study of the expressiveness of BIP.
- Published in:
- Acta Informatica, 2020, v. 57, n. 6, p. 761, doi. 10.1007/s00236-019-00337-7
- By:
- Publication type:
- Article