Frame algebra with synchronous communication

Authors
Publication date 1995
Host editors
  • R.B. Feenstra
  • R.J. Wieringa
Book title Information Systems - Correctness and Reusability (Selected papers from the ISCORE Workshop)
Pages (from-to) 3-15
Publisher World Scientific
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back