Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
A Formal Approach to Model SNMP Network Management Systems
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A timed calculus for wireless systems
Theoretical Computer Science
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
Hi-index | 0.00 |