Quantifying the Benefits of SSA-Based Mobile Code

JOURNAL ARTICLE published December 2005 in Electronic Notes in Theoretical Computer Science

Authors: Wolfram Amme | Jeffery von Ronne | Michael Franz

Probabilistic behaviours of reactive agents

JOURNAL ARTICLE published June 2001 in Electronic Notes in Theoretical Computer Science

Authors: Antonio Brogi

On the construction of a new generalization of Runge–Kutta methods

JOURNAL ARTICLE published October 2003 in Electronic Notes in Theoretical Computer Science

Authors: Mark Sofroniou | Giulia Spaletta

Ribbon Proofs

JOURNAL ARTICLE published 2003 in Electronic Notes in Theoretical Computer Science

Authors: Jules Bean

Observationally-induced Algebras in Domain Theory

JOURNAL ARTICLE published February 2014 in Electronic Notes in Theoretical Computer Science

Authors: Ingo Battenfeld

Remarks on Isomorphisms of Simple Inductive Types

JOURNAL ARTICLE published September 2003 in Electronic Notes in Theoretical Computer Science

Authors: David Chemouil | Sergei Soloviev

Preface

JOURNAL ARTICLE published September 2007 in Electronic Notes in Theoretical Computer Science

Authors: Alessandro Aldini | Franck van Breugel

Bunching for Regions and Locations

JOURNAL ARTICLE published May 2006 in Electronic Notes in Theoretical Computer Science

Authors: Matthew Collinson | David Pym

Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language

JOURNAL ARTICLE published January 2006 in Electronic Notes in Theoretical Computer Science

Authors: Barış Aktemur | Sam Kamin

A New Proposal Of Quasi-Solved Form For Equality Constraint Solving

JOURNAL ARTICLE published April 2008 in Electronic Notes in Theoretical Computer Science

Authors: Javier Álvez | Paqui Lucio

Exploiting User-definable Synchronizations in Graph Transformation

JOURNAL ARTICLE published April 2008 in Electronic Notes in Theoretical Computer Science

Authors: Ivan Lanese

Process Algebras as Specification Language

JOURNAL ARTICLE published May 2003 in Electronic Notes in Theoretical Computer Science

Authors: Friedger Müffke

SSEA: A System for Studying the Effectiveness of Animations

JOURNAL ARTICLE published July 2007 in Electronic Notes in Theoretical Computer Science

Authors: Eileen T. Kraemer | Bina Reed | Philippa Rhodes | Ashley Hamilton-Taylor

A Metamodel-Based OCL-Compiler for UML and MOF

JOURNAL ARTICLE published November 2004 in Electronic Notes in Theoretical Computer Science

Authors: Sten Loecher | Stefan Ocke

A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).

JOURNAL ARTICLE published August 2001 in Electronic Notes in Theoretical Computer Science

Authors: Andrea Corradini | Fernando Luís Dotti | Leila Ribeiro

Refactoring Real-time Specifications

JOURNAL ARTICLE published June 2008 in Electronic Notes in Theoretical Computer Science

Authors: Graeme Smith | Tim McComb

Analysis of Calcium Spiking in Plant Root Epidermis through CWC Modeling

JOURNAL ARTICLE published October 2011 in Electronic Notes in Theoretical Computer Science

Authors: Eva Sciacca | Salvatore Spinella | Andrea Genre | Cristina Calcagno

s 2 -C-continuous Poset

JOURNAL ARTICLE published September 2017 in Electronic Notes in Theoretical Computer Science

Authors: Chongxia Lu | Qingguo Li

Demonstrating Lambda Calculus Reduction

JOURNAL ARTICLE published November 2001 in Electronic Notes in Theoretical Computer Science

Authors: Peter Sestoft

Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH

JOURNAL ARTICLE published November 2003 in Electronic Notes in Theoretical Computer Science

Authors: Olivier Bournez | Felipe Cucker | Paulin Jacobé de Naurois | Jean-Yves Marion