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

Journals (0)

1-10 of 81 results for atomicity refinement

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: BISIMULATION SEMANTICS FOR CONCURRENCY WITH ATOMICITY AND ACTION REFINEMENT

Retricted access

Research article

First published 1994-6

BISIMULATION SEMANTICS FOR CONCURRENCY WITH ATOMICITY AND ACTION REFINEMENT

J.W. de Bakker, E.P. de Vink

Fundamenta Informaticae

Select article: A Hierarchy of System Descriptions via Atomic Linear Refinement

Retricted access

Research article

First published 1992

A Hierarchy of System Descriptions via Atomic Linear Refinement

Roberto Gorrieri

Fundamenta Informaticae

Select article: Retrenching the Purse: The Balance Enquiry Quandary,and Generalised and (1,1) Forward Refinements

Retricted access

Research article

First published 2007-4

Retrenching the Purse: The Balance Enquiry Quandary,and Generalised and (1,1) Forward Refinements

Richard Banach, Czeslaw Jeske, Michael Poppleton [...]

Fundamenta Informaticae

Select article: A Foundation for Refining Concurrent Objects

Retricted access

Research article

First published 2000-10

A Foundation for Refining Concurrent Objects

Martin Büchi, Emil Sekerinski

Fundamenta Informaticae

Select article: The Oil,Chemical and Atomic Workers International Union: Refining Strategies for Labor

Retricted access

Research article

First published 1997-1

The Oil,Chemical and Atomic Workers International Union: Refining Strategies for Labor

John Wooding, Charles Levenstein, Beth Rosenberg

International Journal of Social Determinants of Health and Health Services

Select article: Full Abstractness of a Metric Semantics for Action Refinement

Retricted access

Research article

First published 1999-12

Full Abstractness of a Metric Semantics for Action Refinement

J.I. den Hartog, E.P. de Vink, J.W. de Bakker

Fundamenta Informaticae

Select article: Structure and mechanical properties of reactive sputtered WCN films

Retricted access

Research article

First published 2016-4

Structure and mechanical properties of reactive sputtered WCN films

H. Zhao, Z. Ni, F. Ye

Surface Engineering

Select article: Magnetic field treatment effects on microstructure and properties of A356 aluminium alloy

Retricted access

Research article

First published 2024-3

Magnetic field treatment effects on microstructure and properties of A356 aluminium alloy

Hao Pan, Jinxin Zhou, Yonglin Ma [...]

Materials Science and Technology

Select article: Theoretical studies of reaction mechanisms for potential reactions of HNCO with HO 2 radicals

Free access

Research article

First published 2020-9

Theoretical studies of reaction mechanisms for potential reactions of HNCO with HO 2 radicals

Beibei An, Fuhua Huang, Ke Chen [...]

Journal of Chemical Research

Select article: Alloys by Design: Modelling next generation superalloys

Retricted access

Research article

First published 2009-4

Alloys by Design: Modelling next generation superalloys

C. Rae

Materials Science and Technology

1
2
3
•••
9
10 / page

Article type

Publication date

Subjects

Access