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

Publisher: Springer Science and Media

Volume 35, Number 6, 1998

Consistent records in asynchronous computations
pp. 441-456(16)
Authors: Baldoni, R.; Helary, J.-M.; Raynal, M.

Favourites:
ADD

A logic-based approach to program flow analysis
pp. 457-504(48)
Authors: Sagiv, M.; Francez, N.; Rodeh, M.; Wilhelm, R.

Favourites:
ADD

Nonfinite axiomatizability of the equational theory of shuffle
pp. 505-539(35)
Authors: Esik, Z.; Bertol, M.

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