Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Y.S. Usenko
Discrete Time Process Algebra and the Semantics of SDL
Related publications
Discrete Time Process Algebra
Formal Aspects of Computing
Theoretical Computer Science
Software
Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Discrete Time Process Algebra With Silent Step
Performance Evaluation of Distributed Systems Based on a Discrete Real- And Stochastic-Time Process Algebra
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The State Operator in Real Time Process Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Dense Time Properties Using Theories of Untimed Process Algebra
Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Process Algebra and Non-Interference
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
