- Probabilistic Automata: System Types, Parallel Composition and Comparison
- Formalising ReceiptFreeness H.L. Jonker 1 and E.P. de Vink 1,2
- Formal Verification of an Improved Sliding Window Protocol
- Update Semantics of Security Protocols Arjen Hommersom (arjenh@cs.kun.nl)
- On BAN Logics for Industrial Security Protocols Nesria Agray 1 Wiebe van der Hoek 1;2 Erik de Vink 3;4
- Comparative Metric Semantics for Commit in OrParallel Logic Programming
- Electronic Notes in Theoretical Computer Science 40 (2001) URL: http://www.elsevier.nl/locate/entcs/volume40.html 28 pages
- Embedding Real Time in Stochastic Process Algebras
- Presentday programming languages exhibit an overwhelming variety of control flow notions. Our book is devoted to a comprehensive treatment of these, alto
- Algebraic representation of bisimulation for the tagh-format
- Weak Bisimulation for Action-Type Coalgebras 1
- Axiomatizing GSOS with termination J.C.M. Baeten 1 & E.P. de Vink 1;2
- Bisimulation for probabilistic transition systems: a coalgebraic approach
- Performance Analysis of Models using Discrete-Time Probabilistic Reward Graphs
- LCMAS 2005, the third international workshop on Logic and Communi-cation in Multi-Agent Systems, was held on the 1st of August, 2005 at the
- Dynamic Evolution by Constraint Orchestration (position paper)
- Real-Time in Stochastic Process Algebra: Keeping Track of Winners and Losers
- Mixing Up Nondeterminism and Probability: a preliminary report 1
- Restructuring Paradigm models for the ToolBus architecture
- Axiomatizing GSOS with termination J.C.M. Baeten a & E.P. de Vink a,b,1
- Building Metric Structures with the Meas-Functor
- Paradigm as Organization-Oriented Coordination Language
- ARSPA'05 Preliminary Version A Syntactic Criterion for
- Delegation Modeling with Paradigm Luuk Groenewegen1
- VODCA 2006 Preliminary Version Data anonymity in the FOO voting scheme
- MTCoord 2007 Stochastic Modeling of
- Evolution On-the-Fly with Paradigm Luuk Groenewegen1
- LCMAS 2004, the second international workshop on Logic and Communica-tion in Multi-Agent Systems, was held in the second week of ESSLLI 2004, the
- A Semantic Approach for Reasoning about Security Protocols
- On Relational Properties of Lumpability Ana Sokolova1,
- Defining Authentication in a Trace Model C.J.F. Cremers1
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
- On a functor for probabilistic bisimulation and preservation of weak pullbacks
- Injective Synchronisation: an extension of the authentication hierarchy
- Veri cation and Improvement of the Sliding Window Protocol ?
- PINPAS: A TOOL FOR POWER ANALYSIS OF SMARTCARDS
- Coordination in Networked Organizations: the Paradigm Approach
- Virtual Analysis and Reduction of SideChannel Vulnerabilities of Smartcards
- Series Foreword xi Preface xiii
- Formal Methods for Security Protocols: Three Examples of the BlackBox Approach
- The 27 Languages L rec a uniform language with elementary actions,
- Axiomatizing GSOS with Termination J.C.M. Baeten1
- Operational Semantics for Coordination in Luuk Groenewegen 1 and Erik de Vink 1;2
- A note on the completeness of M 1 (X) E.P. de Vink 1
- Real-Time Process Algebra with Stochastic Delays J. Markovski
- A Formalization of Anonymity and Onion Routing