Scipediacontent: Scipediacontent moved page Draft Content 844930515 to Aman et al 2012a

2020-10-14T11:05:09Z

Scipediacontent moved page Draft Content 844930515 to Aman et al 2012a

Scipediacontent: Created page with " == Abstract == International audience; The temporal evolution of mobile processes is governed by independently operating local clocks and their migration timeouts. We define..."

2020-10-14T11:05:06Z

Created page with " == Abstract == International audience; The temporal evolution of mobile processes is governed by independently operating local clocks and their migration timeouts. We define..."

New page

== Abstract ==

International audience; The temporal evolution of mobile processes is governed by independently operating local clocks and their migration timeouts. We define a formalism modelling such distributed systems allowing (maximal) parallel execution at each location. Taking into account explicit timing constraints based on migration and interprocess communication, we introduce and study a number of timed behavioural equivalences, aiming to provide theoretical underpinnings of verification methods. We also investigate relationships between such behavioural equivalences.

Document type: Part of book or chapter of book

== Full document ==
<pdf>Media:Draft_Content_844930515-beopen283-8312-document.pdf</pdf>

== Original document ==

The different versions of the original document can be found in:

* [https://link.springer.com/content/pdf/10.1007%2F978-3-642-30793-5_4.pdf https://link.springer.com/content/pdf/10.1007%2F978-3-642-30793-5_4.pdf]

← Older revision	Revision as of 11:05, 14 October 2020
(No difference)

Aman et al 2012a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 844930515 to Aman et al 2012a

Scipediacontent: Created page with " == Abstract == International audience; The temporal evolution of mobile processes is governed by independently operating local clocks and their migration timeouts. We define..."