Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Sequence
• LOOP
• Constructible universe
• Ground expression

The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, and Giovanni Pardini Dipartimento di Informatica, Universit` a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, I

Source URL: pages.di.unipi.it

• Biology
• Biochemistry
• Logic in computer science
• Molecular biology
• Epidermal growth factor
• Morphogens
• Protein domain
• Rewriting
• Natural computing
• RNA polymerase
• RNA

The Calculus of Looping Sequences for Modeling Biological Membranes Roberto Barbuti Andrea Maggiolo–Schettini Paolo Milazzo Angelo Troina

Source URL: pages.di.unipi.it

• Biology
• Biotechnology
• Nucleic acids
• Molecular biology
• Epidermal growth factor
• Morphogens
• RNA
• DNA
• Protein domain
• Transmembrane protein

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1

Source URL: pages.di.unipi.it

• Theoretical computer science
• Mathematics
• Logic in computer science
• Lambda calculus
• Formal languages
• Mathematical logic
• Rewriting
• Fixed-point combinator
• Sequence
• Rewrite order
• Substitution

A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber

Source URL: user.it.uu.se

• Process calculi
• Theoretical computer science
• Process calculus
• Mathematics
• -calculus
• Calculus
• Lambda calculus
• Computer science
• Actor model and process calculi history
• Join-calculus

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo

Source URL: pages.di.unipi.it

• Theoretical computer science
• Computer programming
• Declarative programming
• Logic in computer science
• Formal languages
• Brane
• Quantum field theory
• String theory
• Rewriting
• Monad
• Substitution

Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Theoretical computer science
• Logic in computer science
• Software engineering
• Computing
• Formal languages
• Formal methods
• Bisimulation
• -calculus
• Monad
• Petri net
• Rewriting
• Lac operon

Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor 4th Workshop on Network Calculus (WoNeCa-4) Marc Boyer (ONERA) Benoˆıt Dupont de Dinechin (Kalray) Amaury Graillat (Verimag, Karla

Source URL: disco.cs.uni-kl.de

Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur

Source URL: user.it.uu.se

Generalized Finitary Real-Time Calculus

Source URL: user.it.uu.se