Abstract machine

Top Researchers

G.N. Saridis

Institution: —

Alvaro Miyazawa

Institution: —

Ana Cavalcanti

Institution: —

Brosl Hasslacher

Institution: —

Mark W. Tilden

Institution: —

James Baxter

Institution: —

Simon Foster

Institution: —

D.R. Lefebvre

Institution: —

María del Pilar Muñoz

Institution: —

Andrés René Hurtado

Institution: —

Living machines

Brosl Hasslacher, Mark W. Tilden

Citations: 59 • 1995

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa

Citations: 27 • 2018

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Citations: 20 • 2018

A computer architecture for intelligent machines

D.R. Lefebvre, G.N. Saridis

Citations: 20 • 2003

Programming Robotic Devices with a Timed Concurrent Constraint Language

María del Pilar Muñoz, Andrés René Hurtado

Citations: 4 • 2004

Design of tool magazine and operational areas for a multi-tool machine

Christos Koulamas

Citations: 4 • 1992