![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Erik P. de Vink
Person information
- affiliation: Eindhoven University of Technology, The Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c86]Nick Bezhanishvili
, Vincenzo Ciancia
, David Gabelaia
, Mamuka Jibladze
, Diego Latella
, Mieke Massink
, Erik P. de Vink
:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. FORTE 2024: 20-38 - [i6]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR abs/2404.06131 (2024) - 2023
- [j29]Yousra Hafidi, Erik P. de Vink:
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets. J. Log. Algebraic Methods Program. 130: 100813 (2023) - [j28]Jan Friso Groote
, Jan Martens
, Erik P. de Vink:
Lowerbounds for Bisimulation by Partition Refinement. Log. Methods Comput. Sci. 19(2) (2023) - [c85]Vincenzo Ciancia
, Jan Friso Groote
, Diego Latella
, Mieke Massink
, Erik P. de Vink
:
Minimisation of Spatial Models Using Branching Bisimilarity. FM 2023: 263-281 - [c84]Vincenzo Ciancia
, David Gabelaia
, Diego Latella
, Mieke Massink
, Erik P. de Vink
:
On Bisimilarity for Polyhedral Models and SLCS. FORTE 2023: 132-151 - [c83]Rob van Glabbeek, Jan Friso Groote
, Erik P. de Vink:
A Cancellation Law for Probabilistic Processes. EXPRESS/SOS 2023: 42-58 - [i5]Vincenzo Ciancia, Diego Latella
, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR abs/2301.11634 (2023) - 2022
- [c82]Vincenzo Ciancia
, Diego Latella
, Mieke Massink
, Erik P. de Vink
:
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 98-115 - [i4]Jan Friso Groote, Jan Martens, Erik P. de Vink:
Lowerbounds for Bisimulation by Partition Refinement. CoRR abs/2203.07158 (2022) - 2021
- [j27]Erik P. de Vink, Ana Cavalcanti:
Editorial. Formal Aspects Comput. 33(1): 1-2 (2021) - [c81]Jan Friso Groote, Jan Martens, Erik P. de Vink:
Bisimulation by Partitioning Is Ω((m+n)log n). CONCUR 2021: 31:1-31:16 - [i3]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR abs/2105.06690 (2021) - 2020
- [j26]Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink:
A formal actor-based model for streaming the future. Sci. Comput. Program. 186 (2020) - [c80]Maurice H. ter Beek
, Sjef van Loo, Erik P. de Vink
, Tim A. C. Willemse
:
Family-Based SPL Model Checking Using Parity Games with Variability. FASE 2020: 245-265 - [i2]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR abs/2005.05578 (2020)
2010 – 2019
- 2019
- [c79]Rob J. van Glabbeek, Jan Friso Groote
, Erik P. de Vink:
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems 2019: 139-162 - [c78]Jan Friso Groote
, Erik P. de Vink
:
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 2019: 449-463 - [c77]Jan Friso Groote
, Jeroen J. A. Keiren
, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse:
Modelling and Analysing Software in mCRL2. FACS 2019: 25-48 - [c76]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:
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) 2019: 21-39 - 2018
- [j25]Jan Friso Groote
, Jao Rivera Verduzco, Erik P. de Vink
:
An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms 11(9): 131 (2018) - [c75]Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
:
Extending Paradigm with Data. It's All About Coordination 2018: 224-244 - [c74]Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink:
Deadlock Detection for Actor-Based Coroutines. FM 2018: 39-54 - [e11]Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink:
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Lecture Notes in Computer Science 10951, Springer 2018, ISBN 978-3-319-95581-0 [contents] - 2017
- [c73]Jan Friso Groote
, Erik P. de Vink
:
Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd 2017: 48-63 - [c72]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
:
Family-Based Model Checking with mCRL2. FASE 2017: 387-405 - [c71]Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking of SPL based on mCRL2. SPLC (B) 2017: 13-16 - [e10]Herbert Wiklicky, Erik P. de Vink:
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 250, 2017 [contents] - 2016
- [c70]L. P. J. Groenewegen, Ruurd Kuiper, Erik P. de Vink:
Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods 2016: 242-260 - [c69]Maurice H. ter Beek
, Michel A. Reniers
, Erik P. de Vink:
Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) 2016: 856-873 - [c68]Matias David Lee, Erik P. de Vink:
Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. MFCS 2016: 29:1-29:14 - [c67]Maurice H. ter Beek
, Erik P. de Vink, Tim A. C. Willemse
:
Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE 2016: 61-75 - 2015
- [j24]Diego Latella
, Mieke Massink
, Erik P. de Vink:
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. 11(4) (2015) - [c66]Tessa Belder, Maurice H. ter Beek
, Erik P. de Vink:
Coherent branching feature bisimulation. FMSPLE 2015: 14-30 - [c65]Diego Latella
, Mieke Massink
, Erik P. de Vink:
A Definition Scheme for Quantitative Bisimulation. QAPL 2015: 63-78 - [c64]Matias David Lee, Erik P. de Vink:
Rooted branching bisimulation as a congruence for probabilistic transition systems. QAPL 2015: 79-94 - 2014
- [j23]Tessa E. Pronk
, Jochem W. van der Veen, Rob J. Vandebriel
, Henk van Loveren, Erik P. de Vink, Jeroen L. A. Pennings
:
Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1. Biosyst. 124: 75-85 (2014) - [j22]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. 94: 333-361 (2014) - [c63]Maurice H. ter Beek
, Erik P. de Vink:
Using mCRL2 for the analysis of software product lines. FormaliSE 2014: 31-37 - [c62]Maurice H. ter Beek, Erik P. de Vink:
Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385 - [c61]Maurice H. ter Beek
, Erik P. de Vink:
Software product line analysis with mCRL2. SPLC Workshops 2014: 78-85 - [c60]Axel Legay, Erik P. de Vink:
SPLat 2014: First International Workshop on Software Product Line Analysis Tools. SPLC 2014: 353 - 2013
- [j21]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
RNA-Editing with Combined Insertion and Deletion Preserves Regularity. Sci. Ann. Comput. Sci. 23(1): 39-73 (2013) - [j20]Christian Krause, Holger Giese, Erik P. de Vink:
Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. 24(3): 153-168 (2013) - [c59]Sjoerd Cranen, Jan Friso Groote
, Jeroen J. A. Keiren
, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
:
An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS 2013: 199-213 - [e9]Paola Giannini, Erik P. de Vink:
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June 16, 2012. Electronic Notes in Theoretical Computer Science 293, Elsevier 2013 [contents] - [e8]Marco Bernardo
, Erik P. de Vink, Alessandra Di Pierro
, Herbert Wiklicky:
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. Lecture Notes in Computer Science 7938, Springer 2013, ISBN 978-3-642-38873-6 [contents] - 2012
- [j19]Natallia Kokash
, Christian Krause, Erik P. de Vink:
Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Aspects Comput. 24(2): 187-216 (2012) - [j18]Jasen Markovski, Pedro R. D'Argenio
, Jos C. M. Baeten, Erik P. de Vink:
Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. 24(4-6): 497-518 (2012) - [c58]José Proença
, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515 - [c57]Diego Latella
, Mieke Massink
, Erik P. de Vink:
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ACCAT 2012: 23-43 - [c56]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
Combining Insertion and Deletion in RNA-editing Preserves Regularity. MeCBIC 2012: 48-62 - [c55]Paola Giannini
, Erik P. de Vink:
Preface. CS2Bio 2012: 1-2 - [e7]Corrado Priami, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes. Lecture Notes in Computer Science 7625, Springer 2012, ISBN 978-3-642-35523-3 [contents] - 2011
- [j17]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76(8): 711-735 (2011) - [c54]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Towards reduction of Paradigm coordination models. PACO 2011: 1-18 - [c53]José Proença
, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79 - [e6]Ion Petre
, Erik P. de Vink:
Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. EPTCS 67, 2011 [contents] - [e5]Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, ISBN 978-3-642-19747-5 [contents] - 2010
- [c52]Christian Krause, Carola Krause, Erik P. de Vink:
Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB 2010: 66-75 - [c51]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Distributed Adaption of Dining Philosophers. FACS 2010: 125-144 - [c50]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) 2010: 143-159 - [c49]Natallia Kokash
, Christian Krause, Erik P. de Vink:
Data-aware design and verification of service compositions with Reo and mCRL2. SAC 2010: 2406-2413 - [c48]Natallia Kokash
, Christian Krause, Erik P. de Vink:
Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM 2010: 125-134
2000 – 2009
- 2009
- [j16]Ana Sokolova, Erik P. de Vink, Harald Woracek:
Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comput. Sci. 19: 93-144 (2009) - [j15]Jasen Markovski, Erik P. de Vink:
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Informaticae 95(1): 157-186 (2009) - [j14]Jasen Markovski, Ana Sokolova
, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66(8): 435-452 (2009) - [j13]Dragan Bosnacki, Tessa E. Pronk
, Erik P. de Vink:
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. Trans. Comp. Sys. Biology 11: 69-89 (2009) - [c47]Natallia Kokash
, Christian Krause, Erik P. de Vink:
Verification of Context-Dependent Channel-Based Service Models. FMCO 2009: 21-40 - [c46]Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink:
Formalizing Adaptation On-the-Fly. FOCLASA 2009: 23-44 - [e4]Ralph-Johan Back, Ion Petre
, Erik P. de Vink:
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. EPTCS 6, 2009 [contents] - 2008
- [c45]Jasen Markovski, Erik P. de Vink:
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189 - [c44]Jasen Markovski, Erik P. de Vink:
Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283 - [c43]Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink:
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. CMSB 2008: 367-386 - [c42]Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink:
Architecting Security with Paradigm. WADS 2008: 255-283 - [c41]Jing Pan, J. I. den Hartog, Erik P. de Vink:
An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443 - [c40]Christian Koehler, Farhad Arbab, Erik P. de Vink:
Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235 - [c39]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic Consistency in Process Algebra: From Paradigm to ACP. FOCLASA@ICALP 2008: 3-20 - [i1]Luuk Groenewegen, Erik P. de Vink:
Dynamic System Adaptation by Constraint Orchestration. CoRR abs/0811.3492 (2008) - 2007
- [c38]Jasen Markovski, Erik P. de Vink:
Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186 - [c37]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32 - 2006
- [j12]Cas J. F. Cremers, Sjouke Mauw
, Erik P. de Vink:
Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367(1-2): 139-161 (2006) - [c36]Luuk Groenewegen, Erik P. de Vink:
Evolution On-the-Fly with Paradigm. COORDINATION 2006: 97-112 - [c35]Jasen Markovski, Erik P. de Vink:
Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62 - [c34]Hugo L. Jonker, Erik P. de Vink:
Formalising Receipt-Freeness. ISC 2006: 476-488 - [c33]Sjouke Mauw
, Jan Verschuren, Erik P. de Vink:
Data Anonymity in the FOO Voting Scheme. VODCA@FOSAD 2006: 5-28 - [e3]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005. Electronic Notes in Theoretical Computer Science 157(4), Elsevier 2006 [contents] - 2005
- [c32]Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink:
Delegation Modeling with Paradigm. COORDINATION 2005: 94-108 - [c31]Wiebe van der Hoek, Alessio Lomuscio
, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2005: 1-2 - [c30]Cas J. F. Cremers, Sjouke Mauw
, Erik P. de Vink:
A Syntactic Criterion for Injectivity of Authentication Protocols. ARSPA@ICALP 2005: 23-38 - [c29]Simona Orzan, Erik P. de Vink:
Multiparty Contract Signing Over a Reliable Network. STM 2005: 27-41 - [c28]Luuk Groenewegen, Andries W. Stam, Pieter J. Toussaint, Erik P. de Vink:
Paradigm as Organization-Oriented Coordination Language. CoOrg@COORDINATION 2005: 93-113 - [c27]Andries W. Stam, Luuk Groenewegen, Erik P. de Vink:
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study. MTCoord@COORDINATION 2005: 127-142 - 2004
- [j11]Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with termination. J. Log. Algebraic Methods Program. 60-61: 323-351 (2004) - [j10]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Update Semantics of Security Protocols. Synth. 142(2): 229-267 (2004) - [j9]Falk Bartels, Ana Sokolova
, Erik P. de Vink:
A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004) - [c26]Sjouke Mauw, Jan Verschuren, Erik P. de Vink:
A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124 - [c25]Jerry den Hartog, Erik P. de Vink:
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Formal Aspects in Security and Trust 2004: 85-98 - [c24]Ana Sokolova, Erik P. de Vink:
Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43 - [c23]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2004: 1-2 - [c22]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach. LCMAS 2004: 53-75 - [c21]Ana Sokolova
, Erik P. de Vink, Harald Woracek:
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS 2004: 211-228 - [e2]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003. Electronic Notes in Theoretical Computer Science 85(2), Elsevier 2004 [contents] - [e1]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004. Electronic Notes in Theoretical Computer Science 126, Elsevier 2004 [contents] - 2003
- [c20]Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma:
PINPAS: A Tool for Power Analysis of Smartcards. SEC 2003: 453-457 - [c19]Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127 - [c18]Falk Bartels, Ana Sokolova
, Erik P. de Vink:
A hierarchy of probabilistic system types. CMCS 2003: 57-75 - [c17]Wiebe van der Hoek, Alessio Lomuscio
, Erik P. de Vink, Michael J. Wooldridge:
Preface: Volume 85, Issue 2. LCMAS 2003: 81 - 2002
- [j8]Jerry den Hartog, Erik P. de Vink:
Verifying Probabilistic Programs Using a Hoare Like Logic. Int. J. Found. Comput. Sci. 13(3): 315-340 (2002) - [c16]Luuk Groenewegen, Erik P. de Vink:
Operational Semantics for Coordination in Paradigm. COORDINATION 2002: 191-206 - [c15]Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with Termination. STACS 2002: 583-595 - 2001
- [c14]Nesria Agray, Wiebe van der Hoek, Erik P. de Vink:
On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36 - 2000
- [c13]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. MFCSIT 2000: 72-99
1990 – 1999
- 1999
- [j7]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Informaticae 40(4): 335-382 (1999) - [j6]Erik P. de Vink, Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. Theor. Comput. Sci. 221(1-2): 271-293 (1999) - 1998
- [c12]Jerry den Hartog, Erik P. de Vink:
Mixing Up Nondeterminism and Probability: a preliminary report. PROBMIV 1998: 88-110 - 1997
- [c11]Erik P. de Vink, Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. ICALP 1997: 460-470 - [c10]Eneia Todoran, Jerry den Hartog, Erik P. de Vink:
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS 1997: 101-115 - 1996
- [b2]Jacobus W. de Bakker, Erik P. de Vink:
Control flow semantics. MIT Press 1996, ISBN 978-0-262-04154-6, pp. I-XVII, 1-564 - 1995
- [c9]Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink:
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR 1995: 363-377 - 1994
- [j5]J. W. de Bakker, Erik P. de Vink:
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundam. Informaticae 20(1/2/3): 3-34 (1994) - [c8]Vincent van Oostrom
, Erik P. de Vink:
Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. STACS 1994: 569-580 - 1993
- [j4]J. W. de Bakker, Erik P. de Vink:
Rendez-Vous with Metric Semantics. New Gener. Comput. 12(1): 53-90 (1993) - 1992
- [c7]Anton Eliëns, Erik P. de Vink:
Asynchronous Rendez-vous in Distributed Logic Programming. REX Workshop 1992: 174-203 - 1991
- [c6]J. W. de Bakker, Erik P. de Vink:
Rendezvous with Metric Semantics. PARLE (2) 1991: 27-57 - [c5]J. W. de Bakker, Erik P. de Vink:
CCS for OO and LP. TAPSOFT, Vol.2 1991: 1-28 - 1990
- [b1]Erik P. de Vink:
Designing stream based semantics for uniform concurrency and logic programming. Univ. Amsterdam, 1990, pp. 1-167 - [c4]Arie de Bruin, Erik P. de Vink:
Retractions in Comparing Prolog Semantics (Extended Abstract). MFCS 1990: 180-186
1980 – 1989
- 1989
- [j3]John-Jules Ch. Meyer, Erik P. de Vink:
Step Semantics for "True" Concurrency with Recursion. Distributed Comput. 3(3): 130-145 (1989) - [j2]Erik P. de Vink:
Comparative Semantics for PROLOG with Cut. Sci. Comput. Program. 13(1): 237-264 (1989) - [c3]John-Jules Ch. Meyer, Erik P. de Vink:
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369 - [c2]Arie de Bruin, Erik P. de Vink:
Continuation Semantics for PROLOG with Cut. TAPSOFT, Vol.1 1989: 178-192 - 1988
- [j1]John-Jules Ch. Meyer, Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. 57: 251-282 (1988) - 1987
- [c1]John-Jules Ch. Meyer, Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 1987: 241-255
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint