Browse by Journal
Number of items: 2.
C
Cavalcanti, Ana L. C., Naumann, David A. (2002) On a Specification-oriented Model for Object-orientation. In: Proceedings of the 6th Brazilian Symposium on Programming Languages. . pp. 114-127. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13672) |
S
Sheriff, A., Cavalcanti, Ana L. C., Moura, Hermano (2002) An Action Semantics for Timed CSPm. In: Proceedings of the 6th Brazilian Symposium on Programming Languages. . pp. 100-113. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13670) |