A semantic framework for open processes
- 作者P. Baldan; A. Bracciali; R. Bruni
- 卷第389卷
- 期第3期
- 印刷ISSN0304-3975
- 文件大小651.01KB
- 发表时间2007
- DOI10.1016/j.tcs.2007.09.004
- 页码446-483
同标题推荐
A Class of Invertible Subelliptic Operators inS(m,g)-ClassesDelgado, Julio · Results in Mathematics · 2015
Class of invertible shift invariant transformsMing Fang · 1991
Equivalence classes of invertible Boolean functionsÉ. A. Primenko · 1984
Partially ordering the class of invertible treesGuo, Krystal · European Journal of Combinatorics · 2020
A Class of Invertible Bilateral Weighted ShiftsJung, Il Bong; Pearcy, Carl · Kyungpook mathematical journal · 2013
A New Class of Invertible Polynomial MapsArno van den Essen; Engelbert Hubbers · Journal of Algebra · 1997
Priifer domains with class group generated by the classes of the invertible maximal idealsFontana, Marco; Gabelli, Stefania · Communications in Algebra · 1997