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  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
Verifiable and Executable Logic Specifications of Concurrent Objects in LPi

@ European Symposium on Programming Languages and Systems ESOP'98


Editors: Chris Hankin

Series: Lecture Notes in Computer Science

Number: 1381

Publisher: Springer-Verlag ( Germany )

Pages: 42 to 56


Date: 1998


Authors:

File Bottom