@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS029 prodottidellaricerca:prodotto prodotto:ID187824 . @prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . unitaDiPersonaleInterno:MATRICOLA22059 pubblicazioni:autoreCNRDi prodotto:ID187824 . @prefix rdf: . prodotto:ID187824 rdf:type prodotto:TIPO1101 . @prefix retescientifica: . prodotto:ID187824 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID187824 rdfs:label "An Abstract Execution Model for Basic LOTOS (Articolo in rivista)"@en . @prefix xsd: . prodotto:ID187824 pubblicazioni:anno "1990-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID187824 skos:altLabel "
R. Sisto; L. Ciminiera; A. Valenzano (1990)
An Abstract Execution Model for Basic LOTOS
in Software engineering journal; IEE The Institution of Electrical Engineers, London (Regno Unito)
"^^rdf:HTML ; pubblicazioni:autori "R. Sisto; L. Ciminiera; A. Valenzano"^^xsd:string ; pubblicazioni:paginaInizio "311"^^xsd:string ; pubblicazioni:paginaFine "318"^^xsd:string ; pubblicazioni:url "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=61745"^^xsd:string ; pubblicazioni:numeroVolume "5"^^xsd:string . @prefix ns10: . prodotto:ID187824 pubblicazioni:rivista ns10:ID473073 ; pubblicazioni:pagineTotali "8"^^xsd:string ; pubblicazioni:numeroFascicolo "6"^^xsd:string ; skos:note "ISI Web of Science (WOS)"^^xsd:string , "Scopu"^^xsd:string , "Google Scholar"^^xsd:string ; pubblicazioni:affiliazioni "R. Sisto, L. Ciminiera: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy\nA. Valenzano: Centro di Studi per l?Elaborazione Numerale dei Segnali, CNR, Torino. Italy"^^xsd:string ; pubblicazioni:titolo "An Abstract Execution Model for Basic LOTOS"^^xsd:string ; prodottidellaricerca:abstract "The paper presents some techniques that can be used for translating a LOTOS (language of temporal ordering specification) specification into an efficient implementation. In particular, it focuses attention on basic LOTOS, the control part of LOTOS, and presents a simple algorithm to derive an abstract machine based on a set of labelled transition systems from a basic LOTOS specification. The transition systems define interacting processes. The problem of the unbounded number of states is considered and solved, by allowing dynamic creation and destruction of processes and by adopting an appropriate construction procedure for the transition systems. The synchronisation of the processes, according to the LOTOS multi-way rendezvous mechanism, is obtained by means of a procedure based on message transfers among the processes, thus enabling a distributed implementation"@en . @prefix ns11: . prodotto:ID187824 pubblicazioni:editore ns11:ID12267 ; prodottidellaricerca:prodottoDi istituto:CDS029 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA22059 . @prefix parolechiave: . prodotto:ID187824 parolechiave:insiemeDiParoleChiave . ns10:ID473073 pubblicazioni:rivistaDi prodotto:ID187824 . ns11:ID12267 pubblicazioni:editoreDi prodotto:ID187824 . parolechiave:insiemeDiParoleChiaveDi prodotto:ID187824 .