Sfoglia per Autore
Measurements on the Activity of the EIN Matching Unit (EMU)
file da validare1978-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A; Saletti, V; Scollo, Giuseppe
M-T Interconnection of Interlocutors in Computer Networks
file da validare1979-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A.
A Formal Description of the DTE Packet Level in the X.25 Recommendation
file da validare1979-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A.
Algorithms to Pass between Various Protocol Formalizations: from Logical Matrices to Variable Structure Sequential Machine and Viceversa
file da validare1979-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet
file da validare1979-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A; Saletti, V; Scollo, Giuseppe
Some statistical measurements on the European Informatics Network (EIN)
file da validare1979-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio; Saletti, ; Scollo, Giuseppe
X.25 DTE Level 3 Formalization Using the 'Second' Theory of Colloquies
file da validare1980-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A.
A Formal Description of the Balanced Link Access Procedure (LAPB)
file da validare1981-01-01 Alfonzetti, Salvatore; Palazzo, Sergio
From Formalization to Implementation of OSI Entities
file da validare1982-01-01 Alfonzetti, Salvatore
High-Level Programming Language Formalization of the Session Protocol
file da validare1982-01-01 Alfonzetti, Salvatore; Faro, A.
A Formalization of the Session Protocol
file da validare1982-01-01 Alfonzetti, Salvatore; Faro, A.
Basic Transport Protocol Formalization by means of Finite State Machines
file da validare1982-01-01 Alfonzetti, Salvatore; Casale, S.
Formalization of a X.25 DTE in View of a Mini or Micro Implementation
file da validare1982-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio
Finite State Description of Link State Control in the CCITT Signalling System No. 7
file da validare1983-01-01 Alfonzetti, Salvatore; Casale, S.
A Reference Model for a Protocol Entity
file da validare1983-01-01 Alfonzetti, Salvatore; Ansart, J. P.; Faro, A; Jonsson, B; Le Moli, G; Llopis, A; Martikainen, 0; Palazzo, Sergio; Pehrson, B; Rafiq, O; Simon, D.
A Theory of Subprotocols
file da validare1983-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A.
Integration of Teletex into the ISO Transport and Network Services
file da validare1984-01-01 Alfonzetti, Salvatore; Casale, S.
A Study of the Teletex Session Integrated into the OSI Architecture
file da validare1984-01-01 Alfonzetti, Salvatore; Casale, S; Lombardo, Alfio
SDL Formalization of Teletex: the Document Procedures
file da validare1984-01-01 Alfonzetti, Salvatore; Casale, S; Lombardo, Alfio
A Specification of the DTE Network Entity
file da validare1984-01-01 Alfonzetti, Salvatore; Casale, S; Fleres, S.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Measurements on the Activity of the EIN Matching Unit (EMU) | 1-gen-1978 | Alfonzetti, Salvatore; Casale, S; Faro, A; Saletti, V; Scollo, Giuseppe | file da validare |
M-T Interconnection of Interlocutors in Computer Networks | 1-gen-1979 | Alfonzetti, Salvatore; Casale, S; Faro, A. | file da validare |
A Formal Description of the DTE Packet Level in the X.25 Recommendation | 1-gen-1979 | Alfonzetti, Salvatore; Casale, S; Faro, A. | file da validare |
Algorithms to Pass between Various Protocol Formalizations: from Logical Matrices to Variable Structure Sequential Machine and Viceversa | 1-gen-1979 | Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio | file da validare |
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet | 1-gen-1979 | Alfonzetti, Salvatore; Casale, S; Faro, A; Saletti, V; Scollo, Giuseppe | file da validare |
Some statistical measurements on the European Informatics Network (EIN) | 1-gen-1979 | Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio; Saletti, ; Scollo, Giuseppe | file da validare |
X.25 DTE Level 3 Formalization Using the 'Second' Theory of Colloquies | 1-gen-1980 | Alfonzetti, Salvatore; Casale, S; Faro, A. | file da validare |
A Formal Description of the Balanced Link Access Procedure (LAPB) | 1-gen-1981 | Alfonzetti, Salvatore; Palazzo, Sergio | file da validare |
From Formalization to Implementation of OSI Entities | 1-gen-1982 | Alfonzetti, Salvatore | file da validare |
High-Level Programming Language Formalization of the Session Protocol | 1-gen-1982 | Alfonzetti, Salvatore; Faro, A. | file da validare |
A Formalization of the Session Protocol | 1-gen-1982 | Alfonzetti, Salvatore; Faro, A. | file da validare |
Basic Transport Protocol Formalization by means of Finite State Machines | 1-gen-1982 | Alfonzetti, Salvatore; Casale, S. | file da validare |
Formalization of a X.25 DTE in View of a Mini or Micro Implementation | 1-gen-1982 | Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio | file da validare |
Finite State Description of Link State Control in the CCITT Signalling System No. 7 | 1-gen-1983 | Alfonzetti, Salvatore; Casale, S. | file da validare |
A Reference Model for a Protocol Entity | 1-gen-1983 | Alfonzetti, Salvatore; Ansart, J. P.; Faro, A; Jonsson, B; Le Moli, G; Llopis, A; Martikainen, 0; Palazzo, Sergio; Pehrson, B; Rafiq, O; Simon, D. | file da validare |
A Theory of Subprotocols | 1-gen-1983 | Alfonzetti, Salvatore; Casale, S; Faro, A. | file da validare |
Integration of Teletex into the ISO Transport and Network Services | 1-gen-1984 | Alfonzetti, Salvatore; Casale, S. | file da validare |
A Study of the Teletex Session Integrated into the OSI Architecture | 1-gen-1984 | Alfonzetti, Salvatore; Casale, S; Lombardo, Alfio | file da validare |
SDL Formalization of Teletex: the Document Procedures | 1-gen-1984 | Alfonzetti, Salvatore; Casale, S; Lombardo, Alfio | file da validare |
A Specification of the DTE Network Entity | 1-gen-1984 | Alfonzetti, Salvatore; Casale, S; Fleres, S. | file da validare |
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