- From Settheoretic Coinduction to Coalgebraic Coinduction: some results, some problems
- CoMeta Project Workshop Preliminary Version Properties of Set Functors
- Un programma per processare comandi: smallsh Il programma smallsh `e una versione semplificata della shell Unix.
- \Wave-style" Geometry of Interaction Models in Rel are Graph-like Lambda-models ?
- Final Semantics for a Higher Order Concurrent Marina Lenisa
- UNIVERSIT ` A DEGLI STUDI DI PISA
- A Conditional Logical Framework Furio Honsell, Marina Lenisa, Luigi Liquori, and Ivan Scagnetto
- Fully Complete Models for ML Polymorphic Types Samson Abramsky Marina Lenisa \Lambda
- Le strutture Una struttura C `e una collezione di variabili di uno o pi`u tipi, raggruppate
- Processes and Hyperuniverses ? Marco Forti 1 , Furio Honsell 2 and Marina Lenisa 2
- A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects ?
- L'ambiente di un processo (I) L'ambiente di un processo `e un insieme di stringhe (terminate da \0).
- A Uniform Syntactical Method for Proving Coinduction Principles in calculi ?
- Semantical Analysis of Perpetual Strategies in calculus ?
- Marina Lenisa Universit di Udine --Facolt di Scienze MM.FF.NN.
- Scrivere alla fine di un file Vi sono due modi per scrivere alla fine di un file
- RPO, Second-order Contexts, and -calculus Pietro Di Gianantonio Furio Honsell Marina Lenisa
- Theoretical Informatics and Applications Will be set by the publisher Informatique Theorique et Applications
- Bash: history list (I) L'history list `e un tool fornito dalla shell bash che consente di evitare all'utente
- Efficient Bisimilarities from Second-order Reaction Semantics for -calculus
- From Settheoretic Coinduction to Coalgebraic Coinduction: some results, some problems
- Strict Geometry of Interaction Graph Models ? Furio Honsell 1 , Marina Lenisa 1 , Rekha Redamalla 1;2
- Ulteriori comandi sui file Confronto tra file
- La Shell di Unix La parte del sistema operativo Unix dedita alla gestione dell'interazione con
- Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences
- Gestione della memoria Marina Lenisa
- CMCS'2000 Preliminary Version Coalgebraic Coinduction in
- Final semantics for the calculus \Lambda
- A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects ?
- Regole per la correttezza parziale di programmi deterministici Sistema formale PD
- Functors Determined by Values on Objects 4 Daniela Cancila 1
- Verifica di Programmi: Correttezza Totale Verifica di Componenti
- System call per l'accesso a file Nome Significato
- Under consideration for publication in Math. Struct. in Comp. Science Coinductive characterizations of applicative
- RPO, SECOND-ORDER CONTEXTS, AND -CALCULUS PIETRO DI GIANANTONIO, FURIO HONSELL, AND MARINA LENISA
- Le directory unix sono file. Molte system call per i file ordinari possono essere utilizzate per le directory.
- A Type Assignment System for Game Pietro Di Gianantonio, Furio Honsell, Marina Lenisa a
- Introduzione ai Metodi Formali Sistemi software anche molto complessi regolano la vita quotidiana, anche
- Conway Games, coalgebraically Furio Honsell Marina Lenisa
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Coalgebraic Description of Generalized Binary Methods1
- Verifica di programmi Informalmente, un programma `e corretto se l'output prodotto `e quello atteso
- I puntatori Un puntatore `e una variabile che contiene l'indirizzo di un'altra variabile.
- Local Reasoning about Programs that Alter Data Structures
- Record locking con la system call fcntl Il record locking `e un metodo per disciplinare la cooperazione tra processi.
- Programmi paralleli disgiunti Definizione. S1, S2 programmi deterministici sono disgiunti se
- PROD. TYPE: COM PP:1-20 (col.fig.: nil)
- CMCS'2000 Preliminary Version Distributivity for endofunctors, pointed and
- RPO, SECOND-ORDER CONTEXTS, AND -CALCULUS PIETRO DI GIANANTONIO, FURIO HONSELL, AND MARINA LENISA
- Under consideration for publication in Math. Struct. in Comp. Science Coalgebraic Description of Generalized
- Efficient Bisimilarities from Second-order Reaction Semantics for -calculus
- CONWAY GAMES, ALGEBRAICALLY AND COALGEBRAICALLY FURIO HONSELL AND MARINA LENISA
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
- Electronic Notes in Theoretical Computer Science 82 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume82.html 18 pages
- CoMeta Project Workshop Preliminary Version Coalgebraic Semantics and Observational
- Universit`a di Udine --Facolt`a di Scienze MM.FF.NN. Laurea in Informatica --A.A. 2010/11
- Universit`a di Udine --Facolt`a di Scienze MM.FF.NN. Laurea in Informatica --A.A. 2010/11
- Universit`a di Udine --Facolt`a di Scienze MM.FF.NN. Laurea in Informatica --A.A. 2010/11
- Memoria virtuale Marina Lenisa
- Programmi deterministici In un programma deterministico o sequenziale, in ogni istante c'`e al pi`u
- l'Editor vi Negli ambienti Unix esistono molti editor di testo diversi; tuttavia vi `e
- Controllo di processi Ogni processo del sistema ha un PID (Process Identity Number).
- Comandi filtro: sed Il nome del comando sed sta per Stream EDitor e la sua funzione `e quella
- Controllo di flusso negli script: if-then-else Il comando condizionale
- Interprocess communication: Pipe Affinche due processi possano cooperare, `e spesso necessario che comuni-
- Il linguaggio C -Introduzione Il C `e un linguaggio imperativo legato a Unix, adatto all'implementazione
- CMCS 2004 Preliminary Version Modeling Fresh Names in the -calculus
- Some Properties and Some Problems on Set Functors 4
- Coalgebraic Semantics of an Imperative Class Based Language
- Universit`a di Udine --Facolt`a di Scienze MM.FF.NN. Laurea in Informatica --A.A. 2010/11
- Fully Complete Models for ML Polymorphic Types \Lambda
- Axiomatic Characterizations of Hyperuniverses and Applications \Lambda
- Universit`a di Udine --Facolt`a di Scienze MM.FF.NN. Laurea in Informatica --A.A. 2010/11
- I Metacaratteri della Shell Unix La shell Unix riconosce alcuni caratteri speciali, chiamati metacaratteri, che
- Le funzioni in C I programmi C sono costituiti da definizioni di variabili e funzioni.
- Some Results on the Full Abstraction Problem for Restricted Lambda Calculi
- Nei sistemi operativi moderni i servizi disponibili in rete si basano principal-mente sul modello client/server.
- Proof Outline di programmi deterministici: correttezza parziale Sia S un programma annotato con asserzioni, alcune etichettate con inv.
- Universit`a di Udine --Facolt`a di Scienze MM.FF.NN. Laurea in Informatica --A.A. 2010/11
- Linear Realizability and Full Completeness for Typed Lambda-calculi
- Final Semantics for untyped calculus ? Furio Honsell 1 and Marina Lenisa 1;2
- L'utility Unix awk [Aho-Weinberger-Kernighan] L'utility awk serve per processare file di testo secondo un programma specifi-
- La programmazione di sistema Il kernel `e la parte di Unix che corrisponde al sistema operativo vero e
- Universit`a di Udine --Facolt`a di Scienze MM.FF.NN. Laurea in Informatica --A.A. 2011/12
