Formal modelling of autonomous systems
EW 3 Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Hi-index | 0.00 |