process calculus
User Interface for Process Calculus for DoS attack Resistance Analysis
8
Formal verification techniques using quantum process calculus
207
Behavioural hybrid process calculus translation to modelica
71
Linear Types, Protocols, and Processes in Classical F°
98
Compositional Modeling of Biological Systems
206
Application of Bhave Toolset for System Control and Electronic System Design
6
Qualitative modelling via constraint programming
14
Semantic Barbs and Biorthogonality
15
Uniqueness Typing for Resource Management in Message Passing Concurrency
26
Differential calculus
38
Vector Calculus
222
Calculus One
258
Transreal Calculus
13
On Calculus of Displacement
8
Understanding the calculus
13
A Calculus Based on Absence of Actions
13
Fractional Brownian motion: theory and applications
12
ON LINE AND DOUBLE MULTIPLICATIVE INTEGRALS
5
CLINICAL EVALUATION OF SHVADANSHTRADI KWATH IN MANAGEMENT OF MUTRASH-MARI .......
5
Parameter Estimation for Discretely Observed Vasicek Model Driven by Small L´evy Noises
5