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

Publisher: Springer Science and Media

Volume 29, Number 8, 1992

Toward formal development of programs from algebraic specifications: parameterisation revisited
pp. 689-689(1)
Authors: Sannella, D.; Sokolowski, S.; Tarlecki, A.

Favourites:
ADD

An efficiency preorder for processes
pp. 737-737(1)
Authors: Arun-Kumar, S.; Hennessy, M.

Favourites:
ADD

Languages accepted by systolic Y-tree automata: structural characterizations
pp. 761-761(1)
Authors: Fachini, E.; Monti, A.; Napoli, M.; Parente, D.

Favourites:
ADD

A class of coders based on gsm
pp. 779-779(1)
Author: Atanasiu, A.

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