Concepedia

George A. Mccaskill

GA

2

Publications

36

Citations

2

H-Index

1994

Active since

Affiliations

Eindhoven University of Technology(Current)

George A. Mccaskill is an author at Eindhoven University of Technology specializing in computer science, engineering, and asynchronous systems.

Top concepts

EngineeringComputer ScienceDesignVerificationFormal MethodsSystem SoftwareHardware SystemsReal-time SystemsParallel ComputingAutomated Reasoning

Publications per year

1994–2002

2

Publications

2

Realising massively concurrent systems on the SPACE machine

George Milne, Paul Cockshott, George A. Mccaskill et al. · 2002 · 22 citations

Engineering, Computer Architecture, Concurrent System +18

An exercise in the automatic verification of asynchronous designs

Andrew M. Bailey, George A. Mccaskill, George Milne · Formal Methods in System Design · 1994 · 14 citations

Engineering, Automated Reasoning, Mechanical Verification +10

Rows per page

1–2 of 2