Fandom

Formal Methods Wiki

Models of computation: automata and processes

120pages on
this wiki
Add New Page
Talk0 Share
FACS sml logo

BCS-FACS


BCS-FACS Evening Seminar Series — Joint Event with Formal Methods Europe

Models of computation: automata and processes

Jos Baeten

Eindhoven University of Technology, The Netherlands

2 April 2009
5.45pm

BCS London Offices
First Floor, The Davidson Building
5 Southampton Street
London WC2E 7HA
United Kingdom

Automata theory and formal language theory is a basic model of computation addressing discrete behaviour, leading to important notions like computability and algorithm. Concurrency theory and process theory adds to this the notion of interaction between agents, essential when computers are always connected to each other and the world. The talk discusses integration of the two theories, and the benefits ensuing on both sides.

Refreshments will be served from 5.15pm.

The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca by 27 March. Pre-registration is required, as security at the BCS Offices is tight.

External links Edit

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.