Browse by Publisher
Number of items: 1.
1996
Lano, Kevin, Bicarregui, Juan, Kent, Stuart (1996) A Real-time Action Logic of Objects. In: Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-oriented Programming. . Linz, Austria (KAR id:21361) |