ENTCS 2007 | Sciweavers

11

ENTCS
2007

101views more ENTCS 2007»

Inequational Deduction as Term Graph Rewriting

13 years 4 months ago

Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...

Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Ba...

claim paper

Read More »

10

click to vote

ENTCS
2007

92views more ENTCS 2007»

A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs

13 years 4 months ago

Download www.phil.uu.nl

This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...

Clemens Grabmayer

claim paper

Read More »

14

click to vote

ENTCS
2007

117views more ENTCS 2007»

Relating Hybrid Chi to Other Formalisms

13 years 4 months ago

Download www.mate.tue.nl

The hybrid χ (Chi) formalism is suited to modeling, simulation and veriﬁcation of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...

D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...

claim paper

Read More »

13

click to vote

ENTCS
2007

105views more ENTCS 2007»

A Probabilistic Scheduler for the Analysis of Cryptographic Protocols

13 years 4 months ago

Download www.polymtl.ca

When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...

Srecko Brlek, Sardaouna Hamadou, John Mullins

claim paper

Read More »

9

click to vote

ENTCS
2007

74views more ENTCS 2007»

State-oriented Noninterference for CCS

13 years 4 months ago

Download hal.archives-ouvertes.fr

Ilaria Castellani

claim paper

Read More »

13

click to vote

ENTCS
2007

107views more ENTCS 2007»

Executable Grammars in Newspeak

13 years 4 months ago

Download bracha.org

We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...

Gilad Bracha

claim paper

Read More »

10

click to vote

ENTCS
2007

122views more ENTCS 2007»

Plugging a Space Leak with an Arrow

13 years 4 months ago

Download cs-www.cs.yale.edu

The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...

Hai Liu, Paul Hudak

claim paper

Read More »

11

click to vote

ENTCS
2007

124views more ENTCS 2007»

Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant

13 years 4 months ago

Download www.cs.brown.edu

bstractions for a Jazz Improvisation Assistant Robert Keller1 Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin Computer Science Harvey Mudd College Claremont, California, US...

Robert Keller, Martin Hunt, Stephen Jones, David M...

claim paper

Read More »

8

click to vote

ENTCS
2007

97views more ENTCS 2007»

An Operational Semantics for Shared Messaging Communication

13 years 4 months ago

Download www.cse.unsw.edu.au

Shared Messaging Communication (SMC) has been introduced in [9] as a model of communication which reduces communication costs (both in terms of communication latency and memory us...

Astrid Kiehn

claim paper

Read More »

6

click to vote

ENTCS
2007

69views more ENTCS 2007»

Bi-inductive Structural Semantics: (Extended Abstract)

13 years 4 months ago