1875 search results - page 221 / 375 » A Calculus of Broadcasting Systems |
123
Voted
ENTCS
2007
15 years 9 days ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
116
Voted
WOTE
2010
14 years 10 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
177
click to vote
SCP
2011
14 years 7 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
153
click to vote
TOCL
2012
13 years 3 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
124
click to vote
FTRTFT
1998
Springer
15 years 5 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...