CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  External Talks & Seminars  \  External Talk Page Login  
   
banner bottom
File Top
Linear Logical Relations and Observational Equivalences for Session-Based Concurrency
(Departmental Seminar)

By: Jorge A. PĂ©rez


Date: 21 Jun 2012

Location/Event: PPS - Paris Diderot University

url: http://www.pps.univ-paris-diderot.fr/seminaire/sem2012/abstracts/Perez

File Bottom