An automatic abstraction technique for verifying featured, parameterised systems Fulltext Access 21 Pages 2008
Random sampling of colourings of sparse random graphs with a constant number of colours Fulltext Access 21 Pages 2008
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs Fulltext Access 21 Pages 2008
GG-graphs: An efficient tool for constructing symmetric and semisymmetric graphs Fulltext Access 21 Pages 2008
Small models of graph colouring manifolds and the Stiefel manifolds Hom(C5,Kn) Fulltext Access 21 Pages 2008
Sound and complete computational interpretation of symbolic hashes in the standard model Fulltext Access 22 Pages 2008
A bijective proof of Jackson's formula for the number of factorizations of a cycle Fulltext Access 22 Pages 2008
Minimal non-deletable sets and minimal non-codeletable sets in binary images Fulltext Access 22 Pages 2008
Orbits of rational n-sets of projective spaces under the action of the linear group Fulltext Access 22 Pages 2008
Pattern classes of permutations via bijections between linearly ordered sets Fulltext Access 22 Pages 2008
Spatial-behavioral types for concurrency and resource control in distributed systems Fulltext Access 22 Pages 2008
Using bisimulation proof techniques for the analysis of distributed abstract machines Fulltext Access 22 Pages 2008
A few more Kirkman squares and doubly near resolvable BIBDs with block size 3 Fulltext Access 22 Pages 2008
A small trip in the untranquil world of genomes: A survey on the detection and analysis of genome rearrangement breakpoints Fulltext Access 22 Pages 2008
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems Fulltext Access 22 Pages 2008
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus Fulltext Access 22 Pages 2008
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic Fulltext Access 22 Pages 2008
Typechecking top-down XML transformations: Fixed input or output schemas Fulltext Access 22 Pages 2008
A Calculus for Generation, Verification and Refinement of BPEL Specifications 1 Fulltext Access 23 Pages 2008
A multiset-based model of synchronizing agents: Computability and robustness Fulltext Access 23 Pages 2008
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time Fulltext Access 24 Pages 2008
A multi-dimensional approach to the construction and enumeration of Golay complementary sequences Fulltext Access 24 Pages 2008
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions Fulltext Access 24 Pages 2008