ISSN 0001-5903 (Print)
Publisher: Springer Science and Media
Object inheritance beyond subtyping pp. 5-5(1) Authors: Costa, J. F.; Sernadas, A.; Sernadas, C.
Dependency preservation in semantic databases pp. 27-27(1) Author: Su, J.
Proving finiteness of CCS processes by non-standard semantics pp. 55-55(1) Authors: De Francesco, N.; Inverardi, P.
The connection between an event structure semantics and an operational semantics for TCSP pp. 81-81(1) Authors: Baier, C.; Majster-Cederbaum, M. E.
this page is secure
Receive new issue alert this page is secure