57 search results - page 3 / 12 » On Stateless Automata and P Systems |
72
Voted
BIOSYSTEMS
2008
14 years 11 months ago
2008
116
click to vote
TYPES
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
NC
2010
14 years 10 months ago
2010
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
FUIN
2008
14 years 11 months ago
2008
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long
86
Voted
IJFCS
2008
14 years 11 months ago
2008
We consider the problem of synchronizing the activity of all the membranes of a P system. After pointing at the connection with a similar problem dealt with in the field of cellul...