Polymorphic Session Processes as Morphisms

First Author: Toninho B

Attributed to: Turtles: Protocol-Based Foundations for Distributed Multiagent Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-31175-9_7

Publication URI: http://dx.doi.org/10.1007/978-3-030-31175-9_7

Type: Book Chapter

Book Title: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday (2019)

Page Reference: 101-117