The integrated development environment AGG supports the specification of algebraic graph transformation systems based on attributed, typed graphs with node type inheritance, graph rules with application conditions, and graph constraints. It offers several analysis techniques for graph transformation systems including graph parsing, consistency checking of graphs as well as conflict and dependen...

coach's emotional intelligence inspires health and development of sport teams. balancing emotion and thought, emotional intelligence influences conflict conditions in workplace environment. the aim of this study was to explore the relationship between emotional intelligence and conflict management styles in the active karate coaches in isfahan province in 2012. 285 subjects were selected f...

Confluence reduction and partial order reduction by means of ample sets are two different techniques for state space reduction in both traditional and probabilistic model checking. This presentation provides an extensive comparison between these two methods, answering the long-standing question of how they relate. We show that, while both preserve branching time properties, confluence reduction...

Reasoning Administrative Proof Layer

Article history: Received 7 July 2015 Accepted 12 January 2016 Available online 19 January 2016