Skip Main Navigation
Page Content

Save This Event

Event Saved

ABS: Modeling and analysis with resource-sensitive actors - FACS

BCS, The Chartered Institute for IT

Thursday, 9 April 2020 from 18:00 to 21:00 (BST)

ABS: Modeling and analysis with resource-sensitive...

Registration Information

Type End Quantity
Event registration 9 Apr 2020 Free  

Share ABS: Modeling and analysis with resource-sensitive actors - FACS

Event Details

The actor paradigm is gaining traction in programming for its scalability, caused by a decoupling of communication and synchronisation. The Abstract Behavioural Specification language (ABS) explores these properties in a formally defined modelling language, which supports the modelling of resource-sensitive distributed systems.

ABS has been used to model and analyse systems in domains spanning from virtualisation, cloud, and mutlicore computing to railways and logistics. In this talk, we introduce the language and its notion of resources, show some examples, and discuss how its semantics, based on asynchronous communication, affect the design of analysis techniques for models in ABS.

-------------------------------------------------------------------------------

SpeakerEinar Broch Johnsen, University of Oslo, Norway - http://einarj.at.ifi.uio.no  

-------------------------------------------------------------------------------

Refreshments will be available from 5.15pm. The talk will start at 6pm.

Do you have questions about ABS: Modeling and analysis with resource-sensitive actors - FACS? Contact BCS, The Chartered Institute for IT

Save This Event

Event Saved

When & Where


BCS, The Chartered Institute for IT
Ground Floor
25 Copthall Avenue
EC2R 7BP London
United Kingdom

Thursday, 9 April 2020 from 18:00 to 21:00 (BST)


  Add to my calendar

Organiser

BCS, The Chartered Institute for IT

We are all responsible for ensuring technology-led change is safe and positive for everyone in society. At BCS we’re committed to meeting this responsibility under royal charter.

That’s why we set the highest standards of professionalism and best practice in the industry, share knowledge, and develop skills and capability tuned to our evolving digital world.

We’ve been supporting the technology industry since 1957 and our 73,000-strong membership spans 150 countries. Every member actively promotes IT professionalism and we provide them with career development opportunities and bring the community together to address the professional, ethical and economic challenges facing technology today.

  Contact the Organiser

Interested in hosting your own event?

Join millions of people on Eventbrite.

Please log in or sign up

In order to purchase these tickets in installments, you'll need an Eventbrite account. Log in or sign up for a free account to continue.