Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by JOACHIM PARROW
General Conditions for Full Abstraction
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Games and Full Abstraction for FPC
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Full Abstraction for Fair Testing in CCS (Expanded Version)
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
General Necessary Conditions for Optimization Problems
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Automatic Abstraction for Congruences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A General Order Full-Discretization Algorithm for Chatter Avoidance in Milling
Advances in Mechanical Engineering
Mechanical Engineering
Physical Conditions for Full Control of Transmission Through Non-Reflecting Metasurfaces
Weather Conditions and General Malaise
Zen Nihon Shinkyu Gakkai zasshi (Journal of the Japan Society of Acupuncture and Moxibustion)
Monotonic Abstraction-Refinement for CTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science