Erik P. de Vink

138 papers A* 1A 5B 13C 6Misc 4Journal 39Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. Log. Methods Comput. Sci. Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2025	J	`jnl`	A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice. CoRR Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
2025	J	`jnl`	On Bisimilarity for Quasi-discrete Closure Spaces. Log. Methods Comput. Sci. Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2025	J	`jnl`	On Formal Methods Thinking in Computer Science Education. Formal Aspects Comput. Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik P. de Vink
2024	J	`jnl`	Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. CoRR Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	C	`conf`	Weak Simplicial Bisimilarity for Polyhedral Models and SLCS FORTE Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024	J	`jnl`	Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2023	—	`conf`	A Cancellation Law for Probabilistic Processes. EXPRESS/SOS Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
2023	J	`jnl`	Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets. J. Log. Algebraic Methods Program. Yousra Hafidi, Erik P. de Vink
2023	J	`jnl`	Lowerbounds for Bisimulation by Partition Refinement. Log. Methods Comput. Sci. Jan Friso Groote, Jan Martens, Erik P. de Vink
2023	B	`conf`	Minimisation of Spatial Models Using Branching Bisimilarity. FM Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
2023	C	`conf`	On Bisimilarity for Polyhedral Models and SLCS. FORTE Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
2023	J	`jnl`	On Bisimilarity for Quasi-discrete Closure Spaces. CoRR Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2022	—	`conf`	Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2022	J	`jnl`	Lowerbounds for Bisimulation by Partition Refinement. CoRR Jan Friso Groote, Jan Martens, Erik P. de Vink
2021	B	`conf`	Bisimulation by Partitioning Is Ω((m+n)log n). CONCUR Jan Friso Groote, Jan Martens, Erik P. de Vink
2021	J	`jnl`	Editorial. Formal Aspects Comput. Erik P. de Vink, Ana Cavalcanti
2021	J	`jnl`	On Bisimilarities for Closure Spaces - Preliminary Version. CoRR Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2020	J	`jnl`	A formal actor-based model for streaming the future. Sci. Comput. Program. Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink
2020	B	`conf`	Family-Based SPL Model Checking Using Parity Games with Variability. FASE Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
2020	J	`jnl`	Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2019	—	`conf`	A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink
2019	—	`conf`	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. From Software Engineering to Formal Methods and Tools, and Back Jan Friso Groote, Erik P. de Vink
2019	—	`conf`	Modelling and Analysing Software in mCRL2. FACS Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
2019	—	`conf`	The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse
2018	J	`jnl`	An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink
2018	B	`conf`	Deadlock Detection for Actor-Based Coroutines. FM Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink
2018	—	`conf`	Extending Paradigm with Data. It's All About Coordination Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
2018	B	`ed.`	Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings FM Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink
2017	—	`conf`	Family-Based Model Checking of SPL based on mCRL2. SPLC (B) Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse
2017	B	`conf`	Family-Based Model Checking with mCRL2. FASE Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
2017	—	`conf`	Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd Jan Friso Groote, Erik P. de Vink
2017	—	`ed.`	Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. QAPL Herbert Wiklicky, Erik P. de Vink
2016	B	`conf`	Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. MFCS Matias David Lee, Erik P. de Vink
2016	—	`conf`	Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink
2016	—	`conf`	Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
2016	—	`conf`	Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods L. P. J. Groenewegen, Ruurd Kuiper, Erik P. de Vink
2015	—	`conf`	A Definition Scheme for Quantitative Bisimulation. QAPL Diego Latella, Mieke Massink, Erik P. de Vink
2015	J	`jnl`	Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. Diego Latella, Mieke Massink, Erik P. de Vink
2015	—	`conf`	Coherent branching feature bisimulation. FMSPLE Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
2015	—	`conf`	Rooted branching bisimulation as a congruence for probabilistic transition systems. QAPL Matias David Lee, Erik P. de Vink
2014	J	`jnl`	Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1. Biosyst. Tessa E. Pronk, Jochem W. van der Veen, Rob J. Vandebriel, Henk van Loveren, Erik P. de Vink, Jeroen L. A. Pennings
2014	J	`jnl`	Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2014	B	`conf`	SPLat 2014: First International Workshop on Software Product Line Analysis Tools. SPLC Axel Legay, Erik P. de Vink
2014	—	`conf`	Software product line analysis with mCRL2. SPLC Workshops Maurice H. ter Beek, Erik P. de Vink
2014	—	`conf`	Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) Maurice H. ter Beek, Erik P. de Vink
2014	—	`conf`	Using mCRL2 for the analysis of software product lines. FormaliSE Maurice H. ter Beek, Erik P. de Vink
2013	A	`conf`	An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
2013	J	`jnl`	Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. Christian Krause, Holger Giese, Erik P. de Vink
2013	—	`ed.`	Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures SFM Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky
2013	—	`ed.`	Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June 16, 2012 CS2Bio Paola Giannini, Erik P. de Vink
2013	J	`jnl`	RNA-Editing with Combined Insertion and Deletion Preserves Regularity. Sci. Ann. Comput. Sci. Erik P. de Vink, Hans Zantema, Dragan Bosnacki
2012	—	`conf`	Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages ACCAT Diego Latella, Mieke Massink, Erik P. de Vink
2012	—	`conf`	Combining Insertion and Deletion in RNA-editing Preserves Regularity MeCBIC Erik P. de Vink, Hans Zantema, Dragan Bosnacki
2012	Misc	`conf`	Dreams: a framework for distributed synchronous coordination. SAC José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
2012	—	`conf`	Preface. CS2Bio Paola Giannini, Erik P. de Vink
2012	J	`jnl`	Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink
2012	J	`jnl`	Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Aspects Comput. Natallia Kokash, Christian Krause, Erik P. de Vink
2012	—	`ed.`	Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes Trans. Computational Systems Biology Corrado Priami, Ion Petre, Erik P. de Vink
2011	—	`conf`	Decoupled execution of synchronous coordination models via behavioural automata FOCLASA José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
2011	J	`jnl`	Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2011	—	`ed.`	Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. CompMod Ion Petre, Erik P. de Vink
2011	—	`conf`	Towards reduction of Paradigm coordination models PACO Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2011	—	`ed.`	Transactions on Computational Systems Biology XIII Trans. Computational Systems Biology Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink
2010	—	`conf`	Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB Christian Krause, Carola Krause, Erik P. de Vink
2010	Misc	`conf`	Data-aware design and verification of service compositions with Reo and mCRL2. SAC Natallia Kokash, Christian Krause, Erik P. de Vink
2010	—	`conf`	Distributed Adaption of Dining Philosophers. FACS Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2010	B	`conf`	Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM Natallia Kokash, Christian Krause, Erik P. de Vink
2010	—	`conf`	Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2009	J	`jnl`	Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comput. Sci. Ana Sokolova, Erik P. de Vink, Harald Woracek
2009	J	`jnl`	Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
2009	—	`conf`	Formalizing Adaptation On-the-Fly. FOCLASA Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink
2009	J	`jnl`	Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Informaticae Jasen Markovski, Erik P. de Vink
2009	—	`ed.`	Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. COMPMOD Ralph-Johan Back, Ion Petre, Erik P. de Vink
2009	—	`conf`	Verification of Context-Dependent Channel-Based Service Models. FMCO Natallia Kokash, Christian Krause, Erik P. de Vink
2008	Misc	`conf`	An Operation-Based Metric for CPA Resistance. SEC Jing Pan, J. I. den Hartog, Erik P. de Vink
2008	B	`conf`	Architecting Security with Paradigm. WADS Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
2008	—	`conf`	Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD Jasen Markovski, Erik P. de Vink
2008	—	`conf`	Dynamic Consistency in Process Algebra: From Paradigm to ACP. FOCLASA@ICALP Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2008	J	`jnl`	Dynamic System Adaptation by Constraint Orchestration CoRR Luuk Groenewegen, Erik P. de Vink
2008	—	`conf`	Extending Timed Process Algebra with Discrete Stochastic Time. AMAST Jasen Markovski, Erik P. de Vink
2008	—	`conf`	Reconfiguring Distributed Reo Connectors. WADT Christian Koehler, Farhad Arbab, Erik P. de Vink
2008	—	`conf`	Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. CMSB Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink
2007	—	`conf`	Compositionality for Markov Reward Chains with Fast Transitions. EPEW Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
2007	—	`conf`	Real-Time Process Algebra with Stochastic Delays. ACSD Jasen Markovski, Erik P. de Vink
2006	—	`conf`	Data Anonymity in the FOO Voting Scheme. VODCA@FOSAD Sjouke Mauw, Jan Verschuren, Erik P. de Vink
2006	—	`conf`	Embedding Real Time in Stochastic Process Algebras. EPEW Jasen Markovski, Erik P. de Vink
2006	C	`conf`	Evolution On-the-Fly with Paradigm. COORDINATION Luuk Groenewegen, Erik P. de Vink
2006	C	`conf`	Formalising Receipt-Freeness. ISC Hugo L. Jonker, Erik P. de Vink
2006	J	`jnl`	Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
2006	—	`ed.`	Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2005	—	`conf`	A Syntactic Criterion for Injectivity of Authentication Protocols. ARSPA@ICALP Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
2005	C	`conf`	Delegation Modeling with Paradigm. COORDINATION Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink
2005	—	`conf`	Multiparty Contract Signing Over a Reliable Network. STM Simona Orzan, Erik P. de Vink
2005	—	`conf`	Paradigm as Organization-Oriented Coordination Language. CoOrg@COORDINATION Luuk Groenewegen, Andries W. Stam, Pieter J. Toussaint, Erik P. de Vink
2005	—	`conf`	Preface. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2005	—	`conf`	Restructuring Paradigm Models for the ToolBus Architecture: A Case Study. MTCoord@COORDINATION Andries W. Stam, Luuk Groenewegen, Erik P. de Vink
2004	—	`ed.`	1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	A	`conf`	A Formalization of Anonymity and Onion Routing. ESORICS Sjouke Mauw, Jan Verschuren, Erik P. de Vink
2004	J	`jnl`	A hierarchy of probabilistic system types. Theor. Comput. Sci. Falk Bartels, Ana Sokolova, Erik P. de Vink
2004	J	`jnl`	Axiomatizing GSOS with termination. J. Log. Algebraic Methods Program. Jos C. M. Baeten, Erik P. de Vink
2004	—	`conf`	Preface. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	—	`conf`	Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems Ana Sokolova, Erik P. de Vink
2004	—	`ed.`	Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004 LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2004	—	`conf`	Toward Reasoning about Security Protocols: A Semantic Approach. LCMAS Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
2004	J	`jnl`	Update Semantics of Security Protocols. Synth. Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
2004	—	`conf`	Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Formal Aspects in Security and Trust Jerry den Hartog, Erik P. de Vink
2004	—	`conf`	Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS Ana Sokolova, Erik P. de Vink, Harald Woracek
2003	—	`conf`	A hierarchy of probabilistic system types. CMCS Falk Bartels, Ana Sokolova, Erik P. de Vink
2003	Misc	`conf`	PINPAS: A Tool for Power Analysis of Smartcards. SEC Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma
2003	—	`conf`	Preface: Volume 85, Issue 2. LCMAS Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
2003	A	`conf`	Verification and Improvement of the Sliding Window Protocol. TACAS Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink
2002	A	`conf`	Axiomatizing GSOS with Termination. STACS Jos C. M. Baeten, Erik P. de Vink
2002	C	`conf`	Operational Semantics for Coordination in Paradigm. COORDINATION Luuk Groenewegen, Erik P. de Vink
2002	J	`jnl`	Verifying Probabilistic Programs Using a Hoare Like Logic. Int. J. Found. Comput. Sci. Jerry den Hartog, Erik P. de Vink
2001	—	`conf`	On BAN Logics for Industrial Security Protocols. CEEMAS Nesria Agray, Wiebe van der Hoek, Erik P. de Vink
2000	—	`conf`	Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. MFCSIT Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
1999	J	`jnl`	Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. Theor. Comput. Sci. Erik P. de Vink, Jan J. M. M. Rutten
1999	J	`jnl`	Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Informaticae Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
1998	—	`conf`	Mixing Up Nondeterminism and Probability: a preliminary report. PROBMIV Jerry den Hartog, Erik P. de Vink
1997	A*	`conf`	Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. ICALP Erik P. de Vink, Jan J. M. M. Rutten
1997	—	`conf`	Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS Eneia Todoran, Jerry den Hartog, Erik P. de Vink
1996	—	`book`	Control flow semantics. Jacobus W. de Bakker, Erik P. de Vink
1995	B	`conf`	Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink
1994	J	`jnl`	Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundam. Informaticae J. W. de Bakker, Erik P. de Vink
1994	A	`conf`	Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. STACS Vincent van Oostrom, Erik P. de Vink
1993	J	`jnl`	Rendez-Vous with Metric Semantics. New Gener. Comput. J. W. de Bakker, Erik P. de Vink
1992	—	`conf`	Asynchronous Rendez-vous in Distributed Logic Programming. REX Workshop Anton Eliëns, Erik P. de Vink
1991	—	`conf`	CCS for OO and LP. TAPSOFT, Vol.2 J. W. de Bakker, Erik P. de Vink
1991	—	`conf`	Rendezvous with Metric Semantics. PARLE (2) J. W. de Bakker, Erik P. de Vink
1990	—	`—`	Designing stream based semantics for uniform concurrency and logic programming. Erik P. de Vink
1990	B	`conf`	Retractions in Comparing Prolog Semantics (Extended Abstract). MFCS Arie de Bruin, Erik P. de Vink
1989	J	`jnl`	Comparative Semantics for PROLOG with Cut. Sci. Comput. Program. Erik P. de Vink
1989	—	`conf`	Continuation Semantics for PROLOG with Cut. TAPSOFT, Vol.1 Arie de Bruin, Erik P. de Vink
1989	B	`conf`	Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS John-Jules Ch. Meyer, Erik P. de Vink
1989	J	`jnl`	Step Semantics for "True" Concurrency with Recursion. Distributed Comput. John-Jules Ch. Meyer, Erik P. de Vink
1988	J	`jnl`	Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. John-Jules Ch. Meyer, Erik P. de Vink
1987	—	`conf`	Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 John-Jules Ch. Meyer, Erik P. de Vink