Articles

• 5 December 2022 /

  Program Algebra for Random Access Machine Programs

   
•  

• 5 December 2022 /

  An Enhanced Fluid Registration for Image Multi-Frame Super Resolution

   
•  

• 5 December 2022 /

  Behavioural Pseudometrics for Nondeterministic Probabilistic Systems

   
•  

• 5 December 2022 /

  Four Notions of Fault for Program Specifications

   
•  

• 5 December 2022

  New Editorial Team for SACS after 16 Years

   

• 21 June 2022

  Imperative Process Algebra with Abstraction

   

• 21 June 2022

  Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem

   

• 21 June 2022

  Which Arithmetical Data Types Admit Fracterm Flattening?

   

• 21 June 2022

  A Survey of Testing for Instruction Sequence Theory

   

• 21 June 2022

  Reflections on a Scientific Journal