ENTCS 2007 | Sciweavers

15

ENTCS
2007

97views more ENTCS 2007»

Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems

13 years 4 months ago

Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...

Harald Fecher, Heiko Schmidt

claim paper

Read More »

8

click to vote

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

13 years 4 months ago

Download www.cse.unsw.edu.au

Traian-Florin Serbanuta, Grigore Rosu, José...

claim paper

Read More »

12

click to vote

ENTCS
2007

86views more ENTCS 2007»

Simulations Up-to and Canonical Preorders: (Extended Abstract)

13 years 4 months ago

Download www.cse.unsw.edu.au

d abstract) David de Frutos Escrig1 ,3 Departamento de Sistemas Inform´aticos y Computaci´on Universidad Complutense de Madrid Madrid, Spain Carlos Gregorio Rodr´ıguez2 ,4 Depa...

David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...

claim paper

Read More »

9

click to vote

ENTCS
2007

89views more ENTCS 2007»

A Well-behaved LTS for the Pi-calculus: (Abstract)

13 years 4 months ago

Download www.cse.unsw.edu.au

Pawel Sobocinski

claim paper

Read More »

12

click to vote

ENTCS
2007

111views more ENTCS 2007»

Reversibility and Models for Concurrency

13 years 4 months ago

Download www.cse.unsw.edu.au

There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...

Iain Phillips, Irek Ulidowski

claim paper

Read More »

14

click to vote

ENTCS
2007

98views more ENTCS 2007»

A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle

13 years 4 months ago

Download www.cse.unsw.edu.au

We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the ﬁrst ...

Jesper Bengtson, Joachim Parrow

claim paper

Read More »

14

click to vote

ENTCS
2007

98views more ENTCS 2007»

Frameworks Based on Templates for Rigorous Model-driven Development

13 years 4 months ago

Download www-users.cs.york.ac.uk

The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...

Nuno Amálio, Fiona Polack, Susan Stepney

claim paper

Read More »

8

click to vote

ENTCS
2007

71views more ENTCS 2007»

Building Verification Condition Generators by Compositional Extension

13 years 4 months ago

Download www.win.tue.nl

A. J. van Leeuwen

claim paper

Read More »

29

click to vote

ENTCS
2007

171views more ENTCS 2007»

A Certifying Code Generation Phase

13 years 4 months ago

Download www.jblech.de

Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...

Jan Olaf Blech, Arnd Poetzsch-Heffter

claim paper

Read More »

15

click to vote

ENTCS
2007

108views more ENTCS 2007»

Generating Java Compiler Optimizers Using Bidirectional CTL

13 years 4 months ago

Download www.is.titech.ac.jp

There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...

Ling Fang, Masataka Sassa

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers