Fokkink, Willem Jan
-
BRICS Report Series No. 17 (2007): RS-17 Not published - Articles
A Cancellation Theorem for BCCSP
Abstract -
BRICS Report Series No. 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration - Articles
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration
Abstract PDF -
BRICS Report Series No. 22 (1996): RS-22 An Equational Axiomatization for Multi-Exit Iteration - Articles
An Equational Axiomatization for Multi-Exit Iteration
Abstract PDF -
BRICS Report Series No. 23 (1996): RS-23 A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces - Articles
A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces
Abstract PDF -
BRICS Report Series No. 36 (1996): RS-36 On a Question of A. Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitel - Articles
On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based
Abstract PDF -
BRICS Report Series No. 24 (1999): RS-24 Conservative Extension in Structural Operational Semantics - Articles
Conservative Extension in Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 30 (1999): RS-30 Structural Operational Semantics - Articles
Structural Operational Semantics
Abstract PDF -
BRICS Report Series No. 20 (2000): RS-20 2-Nested Simulation is not Finitely Equationally Axiomatizable - Articles
2-Nested Simulation is not Finitely Equationally Axiomatizable
Abstract PDF -
BRICS Report Series No. 40 (2002): RS-40 A Note on an Expressiveness Hierarchy for Multi-exit Iteration - Articles
A Note on an Expressiveness Hierarchy for Multi-exit Iteration
Abstract PDF -
BRICS Report Series No. 1 (2004): RS-1 Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge - Articles
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Abstract PDF -
BRICS Report Series No. 24 (2004): RS-24 Bisimilarity is not Finitely Based over BPA with Interrupt - Articles
Bisimilarity is not Finitely Based over BPA with Interrupt
Abstract PDF -
BRICS Report Series No. 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard - Articles
Nested Semantics over Finite Trees are Equationally Hard
Abstract PDF -
BRICS Report Series No. 34 (2003): RS-34 CCS with Hennessy's Merge has no Finite Equational Axiomatization - Articles
CCS with Hennessy's Merge has no Finite Equational Axiomatization
Abstract PDF -
BRICS Report Series No. 19 (2005): RS-19 Finite Equational Bases in Process Algebra: Results and Open Questions - Articles
Finite Equational Bases in Process Algebra: Results and Open Questions
Abstract PDF -
BRICS Report Series No. 33 (2005): RS-33 Bisimilarity is not Finitely Based over BPA with Interrupt - Articles
Bisimilarity is not Finitely Based over BPA with Interrupt
Abstract PDF -
BRICS Report Series No. 56 (1995): RS-56 Axiomatizing Prefix Iteration with Silent Steps - Articles
Axiomatizing Prefix Iteration with Silent Steps
Abstract PDF -
BRICS Report Series No. 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge - Articles
A Finite Equational Base for CCS with Left Merge and Communication Merge
Abstract PDF -
BRICS Report Series No. 3 (2007): RS-3 Ready To Preorder: Get Your BCCSP Axiomatization for Free! - Articles
Ready To Preorder: Get Your BCCSP Axiomatization for Free!
Abstract PDF -
BRICS Report Series No. 1 (2006): RS-1 On the Axiomatizability of Priority - Articles
On the Axiomatizability of Priority
Abstract PDF