 |
| Reference and Programming |
| Calculi and Types |
| Compilation |
| Virtual Machine |
| Distribution |
|
|
| Reference and Programming |
 |
| TyCO Gently |
by Vasco Vasconcelos Published in 2001 |
|
|
| Core-TyCO, Appendix To The Language Definition, Yielding Version 0.2 |
by Vasco Vasconcelos Published in 2001 |
|
|
| Core-TyCO, The Language Definition, Version 0.1 |
by Vasco Vasconcelos, Rui Bastos Published in 1998 |
|
|
| TyCO Abstract Machine - The Definition |
by Luís Lopes, Vasco Vasconcelos Published in 1997 |
|
|
| TyCO: The Language Definition, Version 0.0 |
by Vasco Vasconcelos Published in 1993 |
|
| Calculi and Types |
|
| The Impact Of Linearity Information On The Performance Of TyCO |
by Francisco Martins, Luís Lopes, Vasco Vasconcelos Published by Elsevier Science Publishers in 2002 |
|
|
| TyCO + Linear Channels |
by Francisco Martins, Vasco Vasconcelos Published in 2001 |
|
|
| Typing Non-Uniform Concurrent Objects |
by António Ravara, Vasco Vasconcelos Published by Springer-Verlag in 2000 |
|
|
| An Algebra Of Behavioural Types |
by António Ravara, Pedro Resende, Vasco Vasconcelos Published in 1999 |
|
|
| Processes, Functions, Datatypes |
by Vasco Vasconcelos Published in 1999 |
|
|
| Towards An Algebra Of Dynamic Object Types |
by António Ravara, Pedro Resende, Vasco Vasconcelos Published in 1998 |
|
|
| Behavioural Types In A calculus Of Concurrent Objects |
by António Ravara, Vasco Vasconcelos Published by Springer-Verlag in 1997 |
|
|
| A Process-Calculus Approach To Typed Concurrent Objects |
by Vasco Vasconcelos Published in 1994 |
|
|
| Recursive Types In A calculus Of Objects |
by Vasco Vasconcelos Published in 1994 |
|
|
| Typed Concurrent Objects |
by Vasco Vasconcelos Published by Springer-Verlag in 1994 |
|
|
| A Typing System For A calculus Of Objects |
by Vasco Vasconcelos, Mario Tokoro Published by Kindai Kagaku Sha in 1994 |
|
|
| A Predicative Polymorphic Type For A calculus Of Objects |
by Vasco Vasconcelos Published by Kyoto University in 1993 |
|
| Compilation |
|
| Compiling Process Calculi |
by Luís Lopes, Fernando Silva, Vasco Vasconcelos Published in 1998 |
|
| Virtual Machine |
|
| Fine Grained Multithreading With Process Calculi |
by Luís Lopes, Vasco Vasconcelos, Fernando Silva Published in 2001 |
|
|
| On The Design And Implementation Of A virtual Machine For Process Calculi |
by Luís Lopes Published in 1999 |
|
|
| A Virtual Machine For The TyCO Process Calculus |
by Luís Lopes, Fernando Silva, Vasco Vasconcelos Published by Springer-Verlag in 1999 |
|
|
| An Abstract Machine For An Object Calculus |
by Luís Lopes, Vasco Vasconcelos Published in 1997 |
|
| Distribution |
|
| A Multi-Threaded Asynchronous Language |
by Hervé Paulino, Pedro Marques, Luís Lopes, Vasco Vasconcelos, Fernando Silva Published by Springer-Verlag in 2003 |
|
|
| A Concurrent Programming Environment With Support For Distributed Computations And Code Mobility |
by Luís Lopes, Álvaro Figueira, Fernando Silva, Vasco Vasconcelos Published by IEEE Press in 2000 |
|
|
| DiTyCO: An Experiment In Code Mobility From The Realm Of Process Calculi |
by Luís Lopes, Fernando Silva, Álvaro Figueira, Vasco Vasconcelos Published in 1999 |
|
|
| Distribution And Mobility With Lexical Scoping In Process Calculi |
by Vasco Vasconcelos, Luís Lopes, Fernando Silva Published by Elsevier Science Publishers in 1998 |
|
