Sage Journals: Discover world-class research

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 2008-8

ACVisualizer: A visualization tool for APi-calculus

Raheel Ahmad, Shahram Rahimi

Multiagent and Grid Systems

Retricted access

Research article

First published 1998-5

Parameterized Structured Operational Semantics

Gian Luigi Ferrari, Ugo Montanari

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 2017-5

Calculation of plasticity index of two-process surfaces

P Pawlus, W Zelasko, R Reizer [...]

Proceedings of the Institution of Mechanical Engineers,Part J: Journal of Engineering Tribology

Retricted access

Research article

First published 1957-12

Chapter IX: Data Processing: Automation in Calculation

Charles Wrigley

Review of Educational Research

Retricted access

Research article

First published 2003-2

Calculating the Process of Vulcanisation of a Cylinder with an Eccentric Aperture

D.K. Agisheva, V.M. Shapovalov

International Polymer Science and Technology

Retricted access

Research article

First published 1960-12

Chapter VIII: Data Processing: Automation in Calculation

E. Wayne Martin, Dale J. Hall

Review of Educational Research

Retricted access

Research article

First published 2006-09

Processes of Inclusion,Cultures of Calculation,Structures of Power

Joanna Goven

Science,Technology,& Human Values

Retricted access

Research article

First published 1934-2

Mathematical Facts and Processes Prerequisite to the Study of the Calculus 1

William Henry Fagerstrom

Teachers College Record: The Voice of Scholarship in Education

Search results