Sage Journals: Discover world-class research

Open access

Research article

First published 2018-6

Cloud manufacturing service composition and formal verification based on extended process calculus

Yongxiang Li, Xifan Yao

Advances in Mechanical Engineering

Retricted access

Research article

First published 1997-3

ATOMICITY AND CONCURRENCY CONTROL IN PROCESS CALCULI

Gian-Luigi Ferrari

Fundamenta Informaticae

Retricted access

Research article

First published 2018-8-26

Fuzzy Malliavin derivative and linear Skorohod fuzzy stochastic differential equation

Hossein Jafari, Hamed Farahani, Mahmoud Paripour

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2021-1

IWSN: A novel method for modeling the interaction of web services

Li Bao, Jianxiong Wan, Le Hao

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 1996-11

Phase-shifting methodologies in photoelastic analysis—the application of Jones calculus

K Ramesh, V Ganapathy

The Journal of Strain Analysis for Engineering Design

Retricted access

Research article

First published 2004-06

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment

P. Lecca, C. Priami, P. Quaglia [...]

SIMULATION

Retricted access

Research article

First published 2018-2-1

Supporting adaptiveness of cyber-physical processes through action-based formalisms

Andrea Marrella, Massimo Mecella, Sebastian Sardiña

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2005-1

Logical Analysis of Biological Systems

Radu Mardare, Corrado Priami

Fundamenta Informaticae

Retricted access

Research article

First published 1996-10

ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS

Flavio Corradini, Rocco De Nicola

Fundamenta Informaticae

Retricted access

Research article

First published 2009-7

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

Roland Meyer, Victor Khomenko, Tim Strazny

Fundamenta Informaticae

Search results