Art
J-GLOBAL ID：201802230623087159
Reference number：18A1853554
Reversing Event Structures
イベント構造の逆転
-
Publisher site
Copy service
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=18A1853554©=1") }}
-
Access JDreamⅢ for advanced search and analysis.
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=18A1853554&from=J-GLOBAL&jstjournalNo=Y0555A") }}
Author (3)：
,
,
Material：
Volume：
36
Issue：
3
Page：
281-306
Publication year：
Jul. 2018
JST Material Number：
Y0555A
ISSN：
0288-3635
Document type：
Article
Article type：
原著論文
Country of issue：
Germany, Federal Republic of (DEU)
Language：
ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
,
,
,
,
,
,
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
,
,
,
JST classification (2)：
JST classification
Category name(code) classified by JST.
Theory of computation
, Digital computer systems in general
Reference (40)：
-
Aubert, C., Cristescu, I.: Contextual equivalences in configuration structures and reversibility. J. Log. Algebraic Methods Program. 86(1), 77-106 (2017)
-
Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, asymmetric event structures, and processes. Inf. Comput. 171(1), 1-49 (2001)
-
Barylska, K., Gogolinska, A., Mikulski, L., Philippou, A., Piatkowski, M., Psara, K.: Reversing computations modelled by coloured Petri nets. In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018, vol. 2115 of CEUR Workshop Proceedings, pp. 91-111 (2018)
-
Barylska, K., Koutny, M., Mikulski, L., Piatkowski, M.: Reversible computation vs. reversibility in Petri nets. Sci. Comput. Program. 151, 48-60 (2018)
-
Bednarczyk, M.A.: Hereditary history preserving bisimulations or what is the power of the future perfect in program logics. Technical Report ICS PAS. Polish Academy of Sciences (1991)
ｍore...
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
,
Return to Previous Page
