An Algebra of Behavioural Types

By António Ravara, Pedro Resende and Vasco T. Vasconcelos

Publisher: Elsevier BV

Year: 2012

DOI identifier: 10.1016/j.ic.2011.12.005

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

https://doi.org/10.1016/j.ic.2... (external link)