Sfoglia per Autore
Semantics of Distributed Processes Derived by Translation
1981-01-01 Astesiano, Egidio; Zucca, Elena
Semantics of CSP via translation into CCS
1981-01-01 Astesiano, Egidio; Zucca, Elena
Parametric Channels and their Applications
1982-01-01 Astesiano, Egidio; Zucca, Elena
Parametric Channels Via Label Expressions in CCS
1984-01-01 Astesiano, Egidio; Zucca, Elena
Applying the SMoLCS Specification Methodology to the CNET Architecture
1985-01-01 Astesiano, Egidio; F., Mazzanti; Reggio, Gianna; Zucca, Elena
On the parameterized algebraic specification of concurrent systems
1985-01-01 Astesiano, Egidio; G., Mascari; Reggio, Gianna; M., Wirsing
Formal Specification of a Concurrent Architecture in a Real Project
1985-01-01 Astesiano, Egidio; F., Mazzanti; Reggio, Gianna; Zucca, Elena
On the specification of the firing squad problem
1985-01-01 Astesiano, Egidio; Reggio, Gianna
A syntax-directed approach to the semantics of concurrent languages
1986-01-01 Astesiano, Egidio; Reggio, Gianna
The Ada Challenge for New Formal Semantic Techniques
1986-01-01 Astesiano, Egidio; A., Giovini; F., Mazzanti; Reggio, Gianna; Zucca, Elena
Relational specifications and observational semantics
1986-01-01 Astesiano, Egidio; Reggio, Gianna; M., Wirsing
SMoLCS-driven concurrent calculi
1987-01-01 Astesiano, Egidio; Reggio, Gianna
Comparing direct and continuation semantics styles for concurrent languages
1987-01-01 Astesiano, Egidio; Reggio, Gianna
The SMoLCS approach to the formal semantics of programming languages
1987-01-01 Astesiano, Egidio; Reggio, Gianna
An outline of the SMoLCS approach
1987-01-01 Astesiano, Egidio; Reggio, Gianna
Data in a concurrent environment
1988-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna
Generalized bisimulation in relational specifications
1988-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects
1989-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna; Zucca, Elena
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications
1989-01-01 Astesiano, Egidio; Cerioli, Maura
Processes as data types: Observational semantics and logic
1990-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna
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 |
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