Timed-pNets: a communication behavioural semantic model for distributed systems

DOI10.1007/s11704-014-4096-4zbMath1403.68138OpenAlexW2132609679MaRDI QIDQ1633067

Yanwen Chen, Eric Madelaine, Yi-Xiang Chen

Publication date: 19 December 2018

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01086091/file/Timed-pNets-FCS-authors.pdf

zbMATH Keywords

formal methodITSsynchronous and asynchronous communicationlogical timetimed specification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Dynamic networks of heterogeneous timed machines ⋮ Heterogeneous and asynchronous networks of timed systems

Uses Software

• SIGNAL
• Uppaal
• TimeSquare
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Asynchronous sequential processes
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• A theory of timed automata
• Behavioural semantics for asynchronous components
• A Clock-Based Framework for Construction of Hybrid Systems
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: Timed-pNets: a communication behavioural semantic model for distributed systems