IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 76
Titolo Data di pubblicazione Autore(i) File
Semantics of Distributed Processes Derived by Translation 1-gen-1981 Astesiano, Egidio; Zucca, Elena
Semantics of CSP via translation into CCS 1-gen-1981 Astesiano, Egidio; Zucca, Elena
Parametric Channels and their Applications 1-gen-1982 Astesiano, Egidio; Zucca, Elena
Parametric Channels Via Label Expressions in CCS 1-gen-1984 Astesiano, Egidio; Zucca, Elena
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
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
An outline of the SMoLCS approach 1-gen-1987 Astesiano, Egidio; Reggio, Gianna
Data in a concurrent environment 1-gen-1988 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Generalized bisimulation in relational specifications 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
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 1-gen-1989 Astesiano, Egidio; Cerioli, Maura
Processes as data types: Observational semantics and logic 1-gen-1990 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Mostrati risultati da 1 a 20 di 76
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