Formal Models for Distributed Negotiations Concurrent Languages Translation - PowerPoint PPT Presentation

1 / 29
} ?>
View by Category
About This Presentation
Title:

Formal Models for Distributed Negotiations Concurrent Languages Translation

Description:

XVII Escuela de Ciencias Informaticas (ECI 2003), Buenos Aires, ... Barbed bisimilarity. Unlabeled bisimilarity state predicates (barbs) Better be congruences! ... – PowerPoint PPT presentation

Number of Views:32
Avg rating:3.0/5.0
Slides: 30
Provided by: RB2
Learn more at: http://www.di.unipi.it
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com