Skip to main navigation Skip to search Skip to main content

Interaction and Concurrency Experience workshop (Event)

  • Hugo Andres Lopez (Member)

Activity: Membership types › Membership in review committee

Description

ICE - 12th Interaction and Concurrency Experience
Period20 Jun 2019 → 21 Jun 2019
Event titleInteraction and Concurrency Experience workshop
Event typeWorkshop
Conference number12
LocationKongens Lynbgy, DenmarkShow on map
Degree of RecognitionInternational

Keywords

  • formal semantics
  • process algebras and calculi
  • models and languages
  • protocols
  • logics and types
  • expressiveness
  • model transformations
  • specification and verification

Documents & Links