A Formal Graphical Language of Interdependence in Teamwork

Agents in teamwork may be highly interdependent on each other, the awareness of interdependence relationships is an important requirement for designing and consequently implementing a multi-agent system. In this work, we propose a formal graphical and domain-independent language that can facilitate the identification of comprehensive...

Field Of Threads: Master’s Thesis on a tool for clarifying thread behavior

Multithreaded programming is becoming increasingly important because of recent increase in the use of multiprocessor computing. Multithreaded or concurrent programming is inherently more complex than single threaded code, requiring the use of synchronization and causing possible problems like deadlock or dormancy. Dynamic analysis tools can aid...