Equational semantics for basic LOTOS and an example of its use in a transformational proof style (Contributo in atti di convegno)

Type
Label
  • Equational semantics for basic LOTOS and an example of its use in a transformational proof style (Contributo in atti di convegno) (literal)
Anno
  • 1992-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/CMPEUR.1992.218427 (literal)
Alternative label
  • MASSINK M; ROOIJAKKERS L. (1992)
    Equational semantics for basic LOTOS and an example of its use in a transformational proof style
    in CompEuro '92 . 'Computer Systems and Software Engineering', The Hague, NL, May 4-8, 1992
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • MASSINK M; ROOIJAKKERS L. (literal)
Pagina inizio
  • 532 (literal)
Pagina fine
  • 537 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=218427 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Computer Systems and Software Egineering - the 6th Annual European Computer Conference (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Univ. of Nijmegen; Univ. of Nijmegen (literal)
Titolo
  • Equational semantics for basic LOTOS and an example of its use in a transformational proof style (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-8186-2760-3 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Dewilde P; Vandewalle J (literal)
Abstract
  • LOTOS is a formal description technique for specifying and analyzing distributed systems. It is shown that equational semantics can be given for a subset called Basic LOTOS. A method based on Boolean equations is used. The semantics are shown to be consistent and complete. The equations for Basic LOTOS are found to form a sufficient basis for writing elegant proofs in a transformational style, which has many advantages compared to the more informal style in which proofs are normally presented. An example of such a transformational proof is given (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it