Publication
Detail
Publication date: 01/01/2012An Algebra of Behavioural Types
URL | http://ctp.di.fct.unl.pt/~aravara/pubs/journals/12-RRV-abt.pdf |
---|---|
Journal | Information and Computation (Elsevier) |
Publisher | Universitat Politècnica de Catalunya |
Volume | 212 |
URL | http://ctp.di.fct.unl.pt/~aravara/pubs/journals/12-RRV-abt.pdf |
Journal | Information and Computation (Elsevier) |
Publisher | Universitat Politècnica de Catalunya |
Volume | 212 |