IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 137
Titolo Data di pubblicazione Autore(i) File
Applying the SMoLCS Specification Methodology to the CNET Architecture 1-gen-1985 Astesiano, Egidio; F., Mazzanti; Reggio, Gianna; Zucca, Elena
On the parameterized algebraic specification of concurrent systems 1-gen-1985 Astesiano, Egidio; G., Mascari; Reggio, Gianna; M., Wirsing
Formal Specification of a Concurrent Architecture in a Real Project 1-gen-1985 Astesiano, Egidio; F., Mazzanti; Reggio, Gianna; Zucca, Elena
On the specification of the firing squad problem 1-gen-1985 Astesiano, Egidio; Reggio, Gianna
A syntax-directed approach to the semantics of concurrent languages 1-gen-1986 Astesiano, Egidio; Reggio, Gianna
The Ada Challenge for New Formal Semantic Techniques 1-gen-1986 Astesiano, Egidio; A., Giovini; F., Mazzanti; Reggio, Gianna; Zucca, Elena
Relational specifications and observational semantics 1-gen-1986 Astesiano, Egidio; Reggio, Gianna; M., Wirsing
SMoLCS-driven concurrent calculi 1-gen-1987 Astesiano, Egidio; Reggio, Gianna
An outline of the SMoLCS approach 1-gen-1987 Astesiano, Egidio; Reggio, Gianna
Comparing direct and continuation semantics styles for concurrent languages 1-gen-1987 Astesiano, Egidio; Reggio, Gianna
The SMoLCS approach to the formal semantics of programming languages 1-gen-1987 Astesiano, Egidio; Reggio, Gianna
Generalized bisimulation in relational specifications 1-gen-1988 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Data in a concurrent environment 1-gen-1988 Astesiano, Egidio; A., Giovini; Reggio, Gianna
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 1-gen-1989 Astesiano, Egidio; A., Giovini; Reggio, Gianna; Zucca, Elena
A non-standard inductive semantics 1-gen-1990 Reggio, Gianna
Processes as data types: Observational semantics and logic 1-gen-1990 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Abstract dynamic data types: A temporal logic approach 1-gen-1991 G., Costa; Reggio, Gianna
Entities: An institution for dynamic systems 1-gen-1991 Reggio, Gianna
Algebraic Specification at Work 1-gen-1992 Astesiano, Egidio; A., Giovini; F., Morando; Reggio, Gianna
Observational Structures and Their Logics 1-gen-1992 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Mostrati risultati da 1 a 20 di 137
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile