Default theories over monadic languages
- Michael Kaminski
- Julia Mosin
- 2005
- Electronic Notes in Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
11 results at Electronic Notes in Theoretical Computer Science
Toward a programming model for building reliable systems with distributed state
- John Field
- Carlos Varela
- 2003
- Electronic Notes in Theoretical Computer Science
Hypergeometric functions in Exact Geometric Computation
- Zilin Du
- Maria Eleftheriou
- et al.
- 2002
- Electronic Notes in Theoretical Computer Science
Cryptographic security of reactive systems: (Extended abstract)
- Birgit Pfitzmann
- Matthias Schunter
- et al.
- 2000
- Electronic Notes in Theoretical Computer Science
Model checking the garbage collection mechanism of SMV
- Cindy Eisner
- 2001
- Electronic Notes in Theoretical Computer Science
Model checking semi-continuous time models using BDDs
- Sérgio Campos
- Márcio Teixeira
- et al.
- 2001
- Electronic Notes in Theoretical Computer Science
The Role of Visual Modeling and Model Transformations in Business-driven Development
- Jana Koehler
- Rainer Hauser
- et al.
- 2008
- Electronic Notes in Theoretical Computer Science
BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning
- Ke Xu
- Ying Liu
- et al.
- 2008
- Electronic Notes in Theoretical Computer Science
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars
- Jessica Winkelmann
- Gabriele Taentzer
- et al.
- 2008
- Electronic Notes in Theoretical Computer Science
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ
- Shady Copty
- Shmuel Ur
- 2007
- Electronic Notes in Theoretical Computer Science