Font Size:
a
A
A
Keyword [process algebra]
Result: 61 - 65 | Page: 4 of 4
61.
Modeling And Verifying Transaction Scheduling For Transactional Memory Based On CSP
62.
The Precongruence And Axiomatic System Of CC-simulation Under GSOS/ntyft/ntyxt Operators
63.
System architecture modeling using UML and real-time process algebra (RTPA)
64.
A model for real-time systems and technique for verifying them using timed process algebra
65.
Research Of Web Service Composition Based On Pi-Calculus
<<First
<Prev
Next>
Last>>
Jump to
