Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Wan Fokkink

Congruence From the Operator’s Point of View

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2019English

Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2010English

Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model Checking MANETs With Arbitrary Mobility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Embedded Network Protocols for Mobile Devices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Two Procedures for Analyzing the Reliability of Open Government Data

Communications in Computer and Information Science
MathematicsComputer Science
2014English

On Finite Alphabets and Infinite Bases

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2008English

Split-2 Bisimilarity Has a Finite Axiomatization Over CCS With Hennessy's Merge

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2005English

On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Conservative Extension in Positive/Negative Conditional Term Rewriting With Applications to Software Renovation Factories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy