The following pages link to Jan Friso Groote (Q169680):
Displaying 47 items.
- (Q3191614) (← links)
- (Q3385650) (← links)
- (Q3395989) (← links)
- (Q3614665) (← links)
- SWITCHING GRAPHS (Q3646171) (← links)
- (Q4036587) (← links)
- (Q4038723) (← links)
- (Q4250361) (← links)
- (Q4255544) (← links)
- (Q4312484) (← links)
- The meaning of negative premises in transition system specifications (Q4371690) (← links)
- (Q4417960) (← links)
- (Q4536374) (← links)
- (Q4551157) (← links)
- Transforming equality logic to propositional logic (Q4916229) (← links)
- Switching Graphs (Q4982090) (← links)
- Problem Solving Using Process Algebra Considered Insightful (Q5047039) (← links)
- (Q5089272) (← links)
- A Complete Axiomatisation for Probabilistic Trace Equivalence (Q5089615) (← links)
- (Q5129943) (← links)
- Wait-free concurrent memory management by Create and Read until Deletion (CaRuD) (Q5138347) (← links)
- An algorithm for the asynchronous Write-All problem based on process collision (Q5138352) (← links)
- Logic Gates, Circuits, Processors, Compilers and Computers (Q5159255) (← links)
- An O(m log n) algorithm for branching bisimilarity on labelled transition systems (Q5164166) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)
- An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (Q5278211) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308425) (← links)
- Formal Methods for Components and Objects (Q5311288) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311482) (← links)
- Algebraic Methodology and Software Technology (Q5312977) (← links)
- An Overview of the mCRL2 Toolset and Its Recent Advances (Q5326326) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395126) (← links)
- Statistical Certification of Software Systems (Q5451146) (← links)
- (Q5754517) (← links)
- (Q5856411) (← links)
- Analysis of three hybrid systems in timed \(\mu CRL\) (Q5929015) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)
- The parallel composition of uniform processes with data (Q5958772) (← links)
- Modular specification and verification of object-oriented programs (Q5960651) (← links)
- Compositional learning for interleaving parallel automata (Q6091209) (← links)
- Lowerbounds for Bisimulation by Partition Refinement (Q6135758) (← links)
- Bisimulation by Partitioning Is Ω((m+n)log n). (Q6176115) (← links)
- The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications (Q6284255) (← links)
- Understanding Behaviour of Distributed Systems Using mCRL2 (Q6488308) (← links)
- An autonomous data language (Q6605350) (← links)
- Infinite choice and probability distributions. An open problem: the real hotel (Q6643743) (← links)
