Electronic Notes in Theoretical Computer Science

Titel Veröffentlichungsdatum Sprache Zitate
Preface2008/05/01English
Executable Specifications for Real-Time Distributed Systems2008/06/01English
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks2008/06/01English
Preface2008/06/01English
Distributed Verification of Multi-threaded C++ Programs2008/02/01English
Distributed Partial Order Reduction for Security Protocols2008/02/01English
Preface2008/02/01English
Preface2008/06/01English
On Products of Transition Systems2008/06/01English
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper2008/04/01English
Preface2008/04/01English
Preface2008/05/01English
Controlling Control Flow in Web Applications2008/05/01English
Universal Boolean Systems2008/03/01English
An Algebra for Directed Bigraphs2008/03/01English
Deduction Graphs with Universal Quantification2008/03/01English
Preface2008/03/01English
Hard combinators2008/03/01English
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis2008/01/01English
Preface2008/01/01English
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine2008/01/01English
Preface2016/02/01English
Preface2017/09/01English
On Subset Families That Form a Continuous Lattice2017/09/01English
s 2 -C-continuous Poset2017/09/01English
Memory Consumption Analysis for a Functional and Imperative Language2016/12/01English
On Graphs for Intuitionistic Modal Logics2016/07/01English
Preface2016/07/01English
Stochastic Transcription Elongation via Rule Based Modelling2016/10/01English
Preface2016/10/01English