You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (24)

Journals (0)

1-10 of 24 results for π-Calculus

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Sorting realization of well-ordered sets based on π -calculus

Retricted access

Research article

First published 2017-5

Sorting realization of well-ordered sets based on π -calculus

Hao Bu, Rong Zhu, Shihong Chen [...]

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

Select article: Strong Normalization in the π-calculus with Intersection and Union Types

Retricted access

Research article

First published 2012-12

Strong Normalization in the π-calculus with Intersection and Union Types

Mauro Piccolo

Fundamenta Informaticae

Select article: Petri Net Semantics of the Finite π-calculus Terms

Retricted access

Research article

First published 2006-5

Petri Net Semantics of the Finite π-calculus Terms

Raymond Devillers, Hanna Klaudel, Maciej Koutny

Fundamenta Informaticae

Select article: Object-oriented Petri nets and π -calculus-based modeling and analysis of reconfigurable manufacturing systems

Open access

Research article

First published 2016-11

Object-oriented Petri nets and π -calculus-based modeling and analysis of reconfigurable manufacturing systems

Zhenhua Yu, Fang Guo, Jie Ouyang [...]

Advances in Mechanical Engineering

Select article: On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems

Retricted access

Research article

First published 2014-2

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems

Gianluigi Bellin, Alessandro Menti

Fundamenta Informaticae

Select article: Towards a formal analysis of dynamic reconfiguration in WS-BPEL

Retricted access

Research article

First published 2013-8

Towards a formal analysis of dynamic reconfiguration in WS-BPEL

F. Abouzaid, M. Mazzara, J. Mullins [...]

Intelligent Decision Technologies

Select article: On message deliverability and non-uniform receptivity

Retricted access

Research article

First published 2002-12

On message deliverability and non-uniform receptivity

Roberto Amadio, Gerard Boudol, Cedric Lhoussaine

Fundamenta Informaticae

Select article: A multi-paradigm approach to model and verify mobile agent software systems

Retricted access

Research article

First published 2018-11

A multi-paradigm approach to model and verify mobile agent software systems

Aissam Belghiat, Allaoua Chaoui

Multiagent and Grid Systems

Select article: A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment

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

Select article: Programming Self-Assembly of DNA Tiles

Retricted access

Research article

First published 2016

Programming Self-Assembly of DNA Tiles

Marco Bellia, M. Eugenia Occhiuto

Fundamenta Informaticae

1
2
3
10 / page

Article type

Publication date

Subjects

Access