| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ceolin, Archana Nottamkandath, Wan Fokkink |
Automated Evaluation of Annotators for Museum Collections Using Subjective Logic. |
IFIPTM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang |
Fast leader election in anonymous rings with bounded expected delay. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar |
Verification of mobile ad hoc networks: An algebraic approach. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort |
Mean-field framework for performance evaluation of push-pull gossip protocols. |
Perform. Eval. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal |
Distributed MAP in the SpinJa Model Checker |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen |
A Modeling Framework for Gossip-based Information Spread |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Elzbieta Krepska, Thilo Kielmann, Wan Fokkink, Henri E. Bal |
HipG: parallel processing of large-scale graphs. |
Operating Systems Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elzbieta Krepska, Thilo Kielmann, Wan Fokkink, Henri E. Bal |
A High-Level Framework for Distributed Processing of Large-Scale Graphs. |
ICDCN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen |
A Modeling Framework for Gossip-based Information Spread. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
dependable gossiping, performance evaluation, formal modelling, large-scale networks, gossip protocols, experimental validation |
| 1 | Davide Ceolin, Willem Robert van Hage, Wan Fokkink, Guus Schreiber |
Estimating Uncertainty of Categorical Web Data. |
URSW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan Fokkink |
Stochastic Restricted Broadcast Process Theory. |
EPEW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolhassan Shamsaie, Wan Fokkink, Jafar Habibi |
Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks. |
EPEW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Lifting non-finite axiomatizability results to extensions of process algebras. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar |
Equational Reasoning on Mobile Ad Hoc Networks. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang |
Asynchronous Bounded Expected Delay Networks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maciej Gazda, Wan Fokkink |
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics |
SOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs |
Partial Order Reduction for Branching Security Protocols. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
branching security protocols, bisimulation, partial order reduction |
| 1 | Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink |
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink |
Embedded Network Protocols for Mobile Devices. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang |
Brief announcement: asynchronous bounded expected delay networks. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
abd networks, probabilistic algorithms, anonymous networks |
| 1 | Stefan Vijzelaar, Herbert Bos, Wan Fokkink |
Brief announcement: a shared disk on distributed storage. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
probabilistic consensus, shared disk semantics, strict linearizability, consistency, redundancy, storage, atomic registers |
| 1 | Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort |
Automating the Mean-Field Method for Large Dynamic Gossip Networks. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann |
Preface. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa |
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. |
Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa |
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. |
Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen |
An analytical model of information dissemination for a gossip-based protocol. |
Computer Networks |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Gazda, Wan Fokkink |
Modal Logic and the Approximation Induction Principle |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
A finite equational base for CCS with left merge and communication merge. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
communication merge, finite equational base, left merge, concurrency, process algebra, CCS, parallel composition, handshaking, Bisimilarity |
| 1 | Ana-Maria Oprescu, Thilo Kielmann, Wan Fokkink |
FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications. |
ICDCN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen |
An Analytical Model of Information Dissemination for a Gossip-Based Protocol. |
ICDCN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink |
Process Algebra: An Algebraic Theory of Concurrency. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko |
Automated Translation and Analysis of a ToolBus Script for Auctions. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar |
Equational Reasoning on Ad Hoc Networks. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Elzbieta Krepska |
What Can Formal Methods Bring to Systems Biology? |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort |
Mean-Field Analysis for the Evaluation of Gossip Protocols. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
gossip protocols, mean-field approximation |
| 1 | Taolue Chen, Wan Fokkink, Rob J. van Glabbeek |
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Rob J. van Glabbeek |
Ready to preorder: The case of weak process semantics. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir |
On the axiomatisability of priority. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain |
On finite alphabets and infinite bases. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
A Cancellation Theorem for BCCSP. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang, Anton Wijs |
Is Timed Branching Bisimilarity a Congruence Indeed? |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Rob J. van Glabbeek |
On Finite Bases for Weak Semantics: Failures versus Impossible Futures |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen |
An Analytical Model of Information Dissemination for a Gossip-based Protocol |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann |
Applying Concurrency Research in Industry Report on a Strategic Workshop. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort |
MeanField analysis for the evaluation of gossip protocols. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar |
Restricted Broadcast Process Theory. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa |
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko |
Towards Formal Verification of ToolBusScripts. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Badban, Wan Fokkink, Jaco van de Pol |
Mechanical Verification of a Two-Way Sliding Window Protocol. |
CPA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol |
Leader Election in Anonymous Rings: Franklin Goes Probabilistic. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink |
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema |
Model checking a cache coherence protocol of a Java DSM implementation. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort |
Formal analysis techniques for gossiping protocols. |
Operating Systems Review |
2007 |
DBLP DOI BibTeX RDF |
survey, gossiping protocols, verification techniques |
| 1 | Wan Fokkink, Allard Kakebeen, Jun Pang |
Adapting the UPPAAL Model of a Distributed Lift System. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
Ready to Preorder: Get Your BCCSP Axiomatization for Free! |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity is not finitely based over BPA with interrupt. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Compositionality of Hennessy-Milner logic by structural operational semantics. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang |
Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink |
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and Congruence Applied to eta-Bisimulation. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
A Finite Equational Base for CCS with Left Merge and Communication Merge |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang, Jaco van de Pol |
Cones and foci: A mechanical framework for protocol verification. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Process algebra, PVS, Protocol verification, Branching bisimulation |
| 1 | Taolue Chen, Wan Fokkink |
On Finite Alphabets and Infinite Bases III: Simulation. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
A Finite Equational Base for CCS with Left Merge and Communication Merge. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir |
On the Axiomatizability of Priority. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Sumit Nain |
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol |
Verification of a sliding window protocol in µCRL and PVS. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation |
| 1 | Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda |
Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik |
Guest editors' foreword: Process Algebra. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
CCS with Hennessy's merge has no finite-equational axiomatization. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang |
Formal Verification of Timed Systems Using Cones and Foci. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang |
Simplifying Itai-Rodeh Leader Election for Anonymous Rings. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Irek Ulidowski |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wan Fokkink, Jaap-Henk Hoepman, Jun Pang |
A Note on K-State Self-stabilization in a Ring with K=N. |
Nord. J. Comput. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wan Fokkink, Sumit Nain |
A Finite Basis for Failure Semantics. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang, Anton Wijs |
Is Timed Branching Bisimilarity an Equivalence Indeed?. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Finite Equational Bases in Process Algebra: Results and Open Questions. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Wan Fokkink |
From chi-t to µCRL: Combining Performance and Functional Analysis. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain |
Bisimilarity Is Not Finitely Based over BPA with Interrupt. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink |
Guesteditors'introduction: Special issue on Structural Operational Semantics. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir |
Nested semantics over finite trees are equationally hard. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jan Friso Groote, Michel A. Reniers |
Process Algebra Needs Proof Methodology (Columns: Concurrency). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bard Bloom, Wan Fokkink, Rob J. van Glabbeek |
Precongruence formats for decorated trace semantics. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
Decorated trace semantics, precongruence |
| 1 | Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol |
Verifying a Sliding Window Protocol in µCRL. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Sumit Nain |
On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir |
A note on an expressiveness hierarchy for multi-exit iteration. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Thuy Duong Vu |
Structural operational semantics and bounded nondeterminism. |
Acta Inf. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Wan Fokkink |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Pang, Bart Karstens, Wan Fokkink |
Analyzing the Redesign of a Distributed Lift System in UPPAAL. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Wan Fokkink, Sumit Nain |
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema |
Model Checking a Cache Coherence Protocol for a Java DSM Implementation. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
µCRL, Java, model checking, distributed shared memory, cache coherence protocols |
| 1 | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. |
FCT |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")