Simone Tini

Proceedings of the 22nd International Workshop on Concurrency, 2013

A Compositional Semantics of Reaction Systems with Restriction.

[BibT_eX]

[DOI]

Giovanni Pardini

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

Foundational aspects of multiscale modeling of biological systems with process algebras.

[BibT_eX]

[DOI]

Giulio Caravagna

Theor. Comput. Sci., 2012

2011

An Overview on Operational Semantics in Membrane Computing.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

2010

Non-expansive epsilon-bisimulations for probabilistic processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Compositional semantics of spiking neural P systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Aspects of multiscale modelling in a process algebra for biological systems

[BibT_eX]

[DOI]

Giulio Caravagna

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

2009

Probabilistic bisimulation as a congruence.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

P Systems with Transport and Diffusion Membrane Channels.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

2008

Compositional semantics and behavioral equivalences for P Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

A P Systems Flat Form Preserving Step-by-step Behaviour.

[BibT_eX]

Fundam. Informaticae, 2008

Non Expansive epsilon-Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Taylor approximation for hybrid systems.

[BibT_eX]

[DOI]

Inf. Comput., 2007

2006

Notes on Generative Probabilistic Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

2005

Probabilistic Congruence for Semistochastic Generative Processes.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Information flow in hybrid systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2004

Rule formats for compositional non-interference properties.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2004

Epsilon-transitions in Concurrent Timed Automata.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

Automated analysis of timed security: a case study on web privacy.

[BibT_eX]

[DOI]

Roberto Gorrieri

Fabio Martinelli

Int. J. Inf. Sec., 2004

Compositional Synthesis of Generalized Mealy Machines.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Timed CCP compositionally embeds Argos and Lustre.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Automatic Covert Channel Analysis of a Multilevel Secure Component.

[BibT_eX]

[DOI]

Angelo Troina

Proceedings of the Information and Communications Security, 6th International Conference, 2004

2003

A comparison of Statecharts step semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Concurrency in timed automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

An axiomatic semantics for the synchronous language Gentzen.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2003

Dynamic Hierarchical Machines.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Automatic Analysis of the NRL Pump.

[BibT_eX]

[DOI]

Angelo Troina

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Rule Formats for Non Interference.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2003

2002

On disjunction of literals in triggers of statecharts transitions.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

2001

An axiomatic semantics for Esterel.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Transformations of Timed Cooperating Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

Privacy in Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Formal Models of Timing Attacks on Web Privacy.

[BibT_eX]

[DOI]

Riccardo Focardi

Roberto Gorrieri

Fabio Martinelli

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

A Causal Semantics for Timed Default Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Applying Techniques of Asynchronous Concurrency to Synchronous Languages.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

On The Expressiveness of Timed Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Two semantics for Timed Default Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, 1998

Projectable Semantics for Statecharts.

[BibT_eX]

[DOI]

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1996

Equivalences of Statecharts.

[BibT_eX]

[DOI]