Skip to ContentSkip to Navigation
About us Practical matters How to find us J.C. (Juan ) Jaramillo Londoño

Publications

Session-based concurrency in Maude: Executable semantics and type checking