Under consideration for publication in Math. Struct. in Comp. Science Categorical Models for Abadi-Plotkin’s Logic for Parametricity L A R S B I R K E D A L1† and R A S M U S E. M Ø G E L B E R G2 1

Source URL: www.itu.dk

Under consideration for publication in Math. Struct. in Comp. Science Multi-Amalgamation of Rules with Application Conditions in M-Adhesive Categories U L R I K E G O L A S1 , A N N E G R E T H A B E L2 and H A R T M U

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Under consideration for publication in Math. Struct. in Comp. Science On the Reification of Semantic Linearity M A R C O G A B O A R D I1,3 , L U C A P A O L I N I2 1 2

Source URL: www.cs.unibo.it

Under consideration for publication in Math. Struct. in Comp. Science M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurrency and Amalgamation H A R T M U T E H R I G1 , U

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Under consideration for publication in Math. Struct. in Comp. Science Processes and Unfoldings: Concurrent Computations in Adhesive Categories P A O L O B A L D A N1 and A N D R E A C O R R A D I N I2 and T O B I A S H

Source URL: www.math.unipd.it

c 2005 Cambridge University Press Math. Struct. in Comp. Science (2005), vol. 15, pp. 1–35.
DOI: S0960129504004311 Printed in the United Kingdom Compositional semantics for open Petri nets based on determinis

Source URL: www.math.unipd.it

Under consideration for publication in Math. Struct. in Comp. Science A rewriting calculus for cyclic higher-order term graphs PAOLO BALDAN1 CLARA BERTOLISSI3 CLAUDE KIRCHNER5

Source URL: www.math.unipd.it

Under consideration for publication in Math. Struct. in Comp. Science A Light-Weight Integration of Automated and Interactive Theorem Proving K A R I M K A N S O1† and A N T O N S E T Z E R2‡ {cskarim1 ,A.G.Setzer2

Source URL: www.cs.swan.ac.uk

Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2

Source URL: ect.bell-labs.com

• Software engineering
• Programming language theory
• Computing
• C
• Struct
• ALGOL 68
• BurrowsAbadiNeedham logic
• OK
• -calculus

Under consideration for publication in Math. Struct. in Comp. Science Concurrency Can’t Be Observed, Asynchronously† Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale Dipartimento di Matematic

Source URL: www.math.unipd.it