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 (22)

Journals (0)

1-10 of 22 results for basic process algebra

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra

Retricted access

Research article

First published 2006-10

On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra

Erzsébet Csuhaj-Varjú, Alexandru Mateescu

Fundamenta Informaticae

Select article: Formal Definition of XCCS Modelling Language

Retricted access

Research article

First published 2009-6

Formal Definition of XCCS Modelling Language

Krzysztof Balicki, Marcin Szpyrka

Fundamenta Informaticae

Select article: PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION

Retricted access

Research article

First published 1996-8

PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION

J.A. Bergstra, Gh. Ştefănescu

Fundamenta Informaticae

Select article: A COMPLETE AXIOMATIZATION FOR PREFIX ITERATION IN BRANCHING BISIMULATION

Retricted access

Research article

First published 1996-5

A COMPLETE AXIOMATIZATION FOR PREFIX ITERATION IN BRANCHING BISIMULATION

Wan Fokkink

Fundamenta Informaticae

Select article: DISCRETE TIME PROCESS ALGEBRA: ABSOLUTE TIME,RELATIVE TIME AND PARAMETRIC TIME

Retricted access

Research article

First published 1997-1

DISCRETE TIME PROCESS ALGEBRA: ABSOLUTE TIME,RELATIVE TIME AND PARAMETRIC TIME

J.C.M. Baeten, J.A. Bergstra

Fundamenta Informaticae

Select article: Iteration Lemmata for Certain Classes of Word,Trace and Graph Languages

Retricted access

Research article

First published 1999-3

Iteration Lemmata for Certain Classes of Word,Trace and Graph Languages

Manfred Kudlek

Fundamenta Informaticae

Select article: Categorical Models for Handshaking Communications 1

Retricted access

Research article

First published 1985

Categorical Models for Handshaking Communications 1

Anna Labella, Alberto Pettorossi

Fundamenta Informaticae

Select article: Individual Differences in Nonsymbolic Ratio Processing Predict Symbolic Math Performance

Retricted access

Research article

First published 2016-2

Individual Differences in Nonsymbolic Ratio Processing Predict Symbolic Math Performance

Percival G. Matthews, Mark Rose Lewis, Edward M. Hubbard

Psychological Science

Select article: Unveiling the Errors Learners Make When Solving Word Problems Involving Algebraic Task

Open access

Research article

First published 2024-10

Unveiling the Errors Learners Make When Solving Word Problems Involving Algebraic Task

Samuel Kenney, Forster D. Ntow

Sage Open

Select article: Design for ‘X’-abilities of RTM Products - A Graph Theoretic Approach

Retricted access

Research article

First published 2006-06

Design for ‘X’-abilities of RTM Products - A Graph Theoretic Approach

R. T. Durai Prabhakaran, B. J. C. Babu, V. P. Agrawal

Concurrent Engineering

1
2
3
10 / page

Article type

Publication date

Subjects

Access