Old Web
English
Sign In
Acemap
>
Paper
>
A Non-interleaving Timed Process Algebra and a Process Logic for Verifying Composition of Agents.
A Non-interleaving Timed Process Algebra and a Process Logic for Verifying Composition of Agents.
2003
syou takasi isobe
kazuhito oomaki
Keywords:
Process calculus
Interleaving
Composition (visual arts)
Computer science
Discrete mathematics
process logic
Arithmetic
Algorithm
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]