Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 31, Number 1, 1994

Object inheritance beyond subtyping
pp. 5-5(1)
Authors: Costa, J. F.; Sernadas, A.; Sernadas, C.

Favourites:
ADD

Dependency preservation in semantic databases
pp. 27-27(1)
Author: Su, J.

Favourites:
ADD

Proving finiteness of CCS processes by non-standard semantics
pp. 55-55(1)
Authors: De Francesco, N.; Inverardi, P.

Favourites:
ADD

The connection between an event structure semantics and an operational semantics for TCSP
pp. 81-81(1)
Authors: Baier, C.; Majster-Cederbaum, M. E.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more