313 citations
- University of AmsterdamNL53 papers
- Eindhoven University of TechnologyNL51 papers
- Vrije Universiteit AmsterdamNL13 papers
- Radboud University NijmegenNL11 papers
- Leiden UniversityNL10 papers
- Centre National de la Recherche ScientifiqueFR9 papers
- College of Western IdahoUS9 papers
- University of California, BerkeleyUS7 papers
- University of WaterlooCA7 papers
- Delft University of TechnologyNL6 papers
- Sorbonne UniversitéFR6 papers
- University of CambridgeGB6 papers
22 papers · 1 filter
Interacting via the Heap in the Presence of Recursion
Jurriaan Rot, Irina Măriuca Asăvoae, Frank de Boer +2
Almost all modern imperative programming languages include operations for dynamically manipulating the heap, for example by allocating and deallocating objects, and by updating ref…
Combining Insertion and Deletion in RNA-editing Preserves Regularity
E. P. de Vink, H. Zantema, D. Bošnački
Inspired by RNA-editing as occurs in transcriptional processes in the living cell, we introduce an abstract notion of string adjustment, called guided rewriting. This formalism all…
Social Network Games
Sunil Simon, Krzysztof R. Apt
One of the natural objectives of the field of the social networks is to predict agents' behaviour. To better understand the spread of various products through a social network arXi…
Positivity for Gaussian graphical models
Jan Draisma, Seth Sullivant, Kelli Talaska
Gaussian graphical models are parametric statistical models for jointly normal random variables whose dependence structure is determined by a graph. In previous work, we introduced…
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
D. Latella, M. Massink, E. P. de Vink
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they cons…
A Procedure for Splitting Processes and its Application to Coordination
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into…