Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Guy McCusker

Games and Full Abstraction for FPC

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

Related publications

General Conditions for Full Abstraction

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2014English

Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Solving Games via Three-Valued Abstraction Refinement

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Full Abstraction for Fair Testing in CCS (Expanded Version)

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Ambiguous Games Without a State Space and Full Rationality

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Learning Informally to Use the ‘Full Version’ of Teaching Games for Understanding

European Physical Education Review
Sports MedicinePhysical TherapySports ScienceOrthopedicsSports TherapyEducationRehabilitation
2015English

Automatic Abstraction for Congruences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Contigs Built With Fingerprints, Markers, and FPC V4.7

Genome Research
Genetics
2000English

An Open Platform for Full-Body Multisensory Serious-Games to Teach Geometry in Primary School

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy