Articles

• 15 February 2019 /

  Rely-Guarantee Based Reasoning for Message-Passing Programs

   
•  

• 15 February 2019 /

  Probabilistic Recursion Theory and Implicit Computational Complexity

   
•  

• 15 February 2019 /

  Theoretical Aspects of Computing

   
•  

• 15 February 2019 /

  Several Remarks on Dissimilarities and Ultrametrics

   
•  

• 15 February 2019

  Identifying Almost Sorted Permutations from TCP Buffer Dynamics

   

• 15 February 2019

  Quasi-Algebras versus Regular Algebras – Part I

   

• 15 February 2019

  Mutually Exclusive Nuances of Truth in Moisil Logic

   

• 15 February 2019

  Boolean Lifting Properties for Bounded Distributive Lattices

   

• 15 February 2019

  Non-Deterministic Finite Cover Automata

   

• 15 February 2019

  Verification and Validation of Formal Data-Centric Business Models