Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Damas P. Gruska
Process Algebra Contexts and Security Properties
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Process Algebra and Non-Interference
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Verification of Dense Time Properties Using Theories of Untimed Process Algebra
Discrete Time Process Algebra
Formal Aspects of Computing
Theoretical Computer Science
Software
Non Interleaving Process Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Evolutionary Learning and Stochastic Process Algebra
Process Algebra for Performance Evaluation
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Maternal Care and Attachment Security in Ordinary and Emergency Contexts.
Developmental Psychology
Life-course Studies
Developmental
Life-span
Educational Psychology
Demography
Kleene's Three-Valued Logic and Process Algebra
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Resolving the Password Security Purgatory in the Contexts of Technology, Security and Human Factors