On the expressiveness of timed coordination models - Concepedia

Concepedia

Publication | Open Access

On the expressiveness of timed coordination models

DOI Full Paper Access

13

Citations

39

References

2006

Year

Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi

Science of Computer Programming

EngineeringTimed Coordination ModelsAutomated ReasoningFormal MethodsComputer ScienceCoordination ModelTemporal LogicTimed SystemFormal Verification

References

	Year	Citations

Page 1