Automatic Abstraction for Congruences

15 years 12 months ago

Download www.cs.kent.ac.uk

c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automatic Abstraction for Congruences

Andy King, Harald Søndergaard

Real-time Traffic

Automatic Abstraction | Beast Andy King | Software Engineering | VMCAI 2010 |

claim paper

» Modular Forms for GL3 and Galois Representations

» Unit Computation in Purely Cubic Function Fields of Unit Rank 1

» Structural Operational Semantics for Stochastic Process Calculi

» Categorical Abstract Algebraic Logic Leibniz Equality and Homomorphism Theorems

» Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

» Open Ended Systems Dynamic Bisimulation and Tile Logic

» The Measurable Space of Stochastic Processes

Post Info
More Details (n/a)

Added	05 Mar 2010
Updated	08 Mar 2010
Type	Conference
Year	2010
Where	VMCAI
Authors	Andy King, Harald Søndergaard

Comments (0)

Sciweavers

Automatic Abstraction for Congruences

Automatic Abstraction | Beast Andy King | Software Engineering | VMCAI 2010 |

Explore & Download

Productivity Tools

Sciweavers