Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,209,548 papers from all fields of science
Search
Sign In
Create Free Account
API-Calculus
API Calculus is a program that solves calculus problems using operating systems within a device that solves calculus problems. In 1989 the PI…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Ambient calculus
Host (network)
Mobile agent
Process (computing)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
The First Stage of a System Verification Strategy for API-Calculus
S. Rahimi
,
N. Mogharreban
,
R. Ahmad
MSV/AMCS
2004
Corpus ID: 16222856
Researchers are giving increasing attention to software agents for implementation of high performance distributed applications…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required