On Linear Information Systems

JOURNAL ARTICLE published 30 March 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: A. Bucciarelli | A. Carraro | T. Ehrhard | A. Salibra

Three qubit entanglement within graphical Z/X-calculus

JOURNAL ARTICLE published 9 March 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Bob Coecke | Bill Edwards

A Minimal OO Calculus for Modelling Biological Systems

JOURNAL ARTICLE published 8 September 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Livio Bioglio

Contracts in distributed systems

JOURNAL ARTICLE published 31 July 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Massimo Bartoletti | Emilio Tuosto | Roberto Zunino

Refinement for Probabilistic Systems with Nondeterminism

JOURNAL ARTICLE published 17 June 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Steve Reeves | David Streader

Towards Generalised Half-Duplex Systems

JOURNAL ARTICLE published 2 October 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Cinzia Di Giusto | Loïc Germerie Guizouarn | Etienne Lozes

Parallel communicating grammar systems with regular control and skeleton preserving FRR automata

JOURNAL ARTICLE published February 2011 in Theoretical Computer Science

Authors: Dana Pardubská | Martin Plátek | Friedrich Otto

RoboWorld: Assumption Language for Robotic Systems

JOURNAL ARTICLE published 20 July 2022 in Electronic Proceedings in Theoretical Computer Science

Authors: Ana Cavalcanti

Analysis of Non-Linear Probabilistic Hybrid Systems

JOURNAL ARTICLE published 4 July 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Joseph Assouramou | Josée Desharnais

Systems of Word Equations and Polynomials: a New Approach

JOURNAL ARTICLE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Aleksi Saarela

A Graph Grammar for Modelling RNA Folding

JOURNAL ARTICLE published 4 December 2016 in Electronic Proceedings in Theoretical Computer Science

Authors: Adane Letta Mamuye | Emanuela Merelli | Luca Tesei

Deciding Reachability for 3-Dimensional Multi-Linear Systems

JOURNAL ARTICLE published 4 June 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Olga Tveretina | Daniel Funke

Time Delays in Membrane Systems and Petri Nets

JOURNAL ARTICLE published 4 July 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Bogdan Aman | Gabriel Ciobanu

The Information Content of Systems in General Physical Theories

JOURNAL ARTICLE published 21 June 2016 in Electronic Proceedings in Theoretical Computer Science

Authors: Ciarán M. Lee | Matty J. Hoban

Input Synthesis for Sampled Data Systems by Program Logic

JOURNAL ARTICLE published 22 January 2015 in Electronic Proceedings in Theoretical Computer Science

Authors: Takumi Akazaki | Ichiro Hasuo | Kohei Suenaga

An Introduction to Liquid Haskell

JOURNAL ARTICLE published 11 January 2017 in Electronic Proceedings in Theoretical Computer Science

Authors: Ricardo Peña

Proceedings 13th International Workshop on Verification of Infinite-State Systems

JOURNAL ARTICLE published 11 November 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Fang Yu | Chao Wang

Generating Representative Executions [Extended Abstract]

JOURNAL ARTICLE published 8 April 2017 in Electronic Proceedings in Theoretical Computer Science

Authors: Hendrik Maarand | Tarmo Uustalu

Formal Model Engineering for Embedded Systems Using Real-Time Maude

JOURNAL ARTICLE published 29 June 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Peter Csaba Ölveczky

Memory Management in Resource-Bounded Agents

JOURNAL ARTICLE published 19 September 2019 in Electronic Proceedings in Theoretical Computer Science

Authors: Valentina Pitoni