Vink, Erik de.
Vink, E.P. de (Erik Peter)
Erik Peter de Vink Ph.D. Vrije Universiteit Amsterdam 1990
VIAF ID: 29711637 (Personal)
Permalink: http://viaf.org/viaf/29711637
Preferred Forms
- 100 0 _ ‡a Erik Peter de Vink ‡c Ph.D. Vrije Universiteit Amsterdam 1990
- 200 _ | ‡a Vink ‡b Erik de
-
-
- 100 1 _ ‡a Vink, Erik de
- 100 1 0 ‡a Vink, Erik de
-
- 100 1 _ ‡a Vink, Erik de
-
-
- 100 1 _ ‡a Vink, Erik de
-
-
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Algebraic representation of bisimulation for the tagh-format | |
Applications of compactness in the Smyth powerdomain of streams | |
Asynchronous rendez-vous in the presence of backtracking | |
Aximatizing GSOS with termination | |
Bisimulation for probabilistic transition systems : a coalgebraic approach | |
CCS for OO and LP | |
Comparative semantics for PROLOG with cut | |
Control flow semantics | |
Coordination in networked organizations: the paradigm approach | |
Designing stream based semantics for uniform concurrency and logic programming | |
De eigen wijsheid van wetenschap ... 1996: | |
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings | |
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 | |
Full abstractness of an interleaving semantics for action refinement | |
Metric predicate transformaters : towards a notion of refinement for concurrency | |
Mixing up nondeterminism and probability : a preliminary report | |
On a functor for probabilistic bisimulation and preservation of weak pullbacks | |
On relating denotational and operational semantics for programming languages with recursion and concurrency | |
An order-theoretic process domain | |
Pomset semantics for true concurrency with synchronization and recursion : (extended abstract) | |
Rendez-vous with metric semantics | |
Retractions in comparing Prolog semantics | |
Taking chances on || and fail: extending strong and probabilistic bisimulation | |
Transactions on computational systems biology XIV : special issue on computational models for cell processes | |
Transition system specifications in stalk format with bisimulation as a congruence | |
Virtual analysis and reduction of side-channel vulnerabilities of smartcards |