http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227135
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
- Pagina fine
- 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
- 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