The following pages link to Cosimo Laneve (Q493532):
Displaying 25 items.
- (Q236788) (redirect page) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Paths, computations and labels in the \(\lambda\)-calculus (Q673626) (← links)
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- A simple calculus for proteins and cells (Q953549) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- Inheritance in the join calculus. (Q1426056) (← links)
- Deadlock detection of Java bytecode (Q1671137) (← links)
- A type system for JVM threads (Q1853613) (← links)
- Formal molecular biology (Q1884864) (← links)
- Split and ST bisimulation semantics (Q1892889) (← links)
- The discriminating power of multiplicities in the \(\lambda\)-calculus (Q1917097) (← links)
- A lightweight deadlock analysis for programs with threads and reentrant locks (Q2024377) (← links)
- Statically and dynamically verifiable SLA metrics (Q2026797) (← links)
- Linear forwarders (Q2384926) (← links)
- Time analysis of actor programs (Q2423757) (← links)
- A Simple Calculus for Proteins and Cells (Q2864202) (← links)
- (Q2906951) (← links)
- (Q3024818) (← links)
- Deadlock Analysis of Unbounded Process Networks (Q3190109) (← links)
- A Rude Contract Language for Web Services (Q5262959) (← links)
- Expressivity in the κ Family (Q5415633) (← links)
- Liquidity analysis in resource-aware programming (Q6052939) (← links)
