Zobrazeno 1 - 10
of 1 021
pro vyhledávání: '"Rozenberg, Grzegorz"'
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming December 2019 109
Publikováno v:
EPTCS 100, 2012, pp. 1-13
Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane system from a behavioural specification given in the form of a transitio
Externí odkaz:
http://arxiv.org/abs/1211.4090
In this talk we are concerned with the intrinsic similarities and differences between Petri nets on the one hand, and membrane systems and reaction systems on the other hand.
Comment: Presented at MeCBIC 2011
Comment: Presented at MeCBIC 2011
Externí odkaz:
http://arxiv.org/abs/1108.3422
Formal models for gene assembly in ciliates have been developed, in particular the string pointer reduction system (SPRS) and the graph pointer reduction system (GPRS). The reduction graph is a valuable tool within the SPRS, revealing much informatio
Externí odkaz:
http://arxiv.org/abs/cs/0702171
Publikováno v:
Theoretical Computer Science, v. 356, 26-45, 2006
Gene assembly in ciliates is one of the most involved DNA processings going on in any organism. This process transforms one nucleus (the micronucleus) into another functionally different nucleus (the macronucleus). We continue the development of the
Externí odkaz:
http://arxiv.org/abs/cs/0601122