Journals in DBLP
Farhad Arbab , Marjan Sirjani Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:1-2 [Journal ] Ali Kamandi , Mohammad Abdollahi Azgomi , Ali Movaghar Transformation of UML Models into Analyzable OSAN Models. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:3-22 [Journal ] M. Jamshid Bagherzadeh , S. Arun-Kumar Flexible Communication of Agents based on FIPA-ACL. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:23-39 [Journal ] Lorenzo Capra , Walter Cazzola A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:41-59 [Journal ] Dave Clarke Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:61-77 [Journal ] Shahram Esmaeilsabzali , Farhad Mavaddat , Nancy A. Day Interface Automata with Complex Actions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:79-97 [Journal ] Fatemeh Ghassemi , Samira Tasharofi , Marjan Sirjani Automated Mapping of Reo Circuits to Constraint Automata. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:99-115 [Journal ] Hassan Haghighi , Seyed-Hassan Mirian-Hosseinabadi An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:117-137 [Journal ] Hossein Hojjat , Hootan Nakhost , Marjan Sirjani Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended R ebeca. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:139-154 [Journal ] Yu Huang , Hanpin Wang , Peng Yu , Yunni Xia Property-Transition-Net-Based Workflow Process Modeling and Verification. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:155-170 [Journal ] Mohammad Izadi , Ali Movaghar-Rahimabadi An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:171-186 [Journal ] Einar Broch Johnsen , Olaf Owe , Arild B. Torjusen Validating Behavioral Component Interfaces in Rewriting Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:187-204 [Journal ] Marc Aiguier , Diane Bahrami , Delphine Longuet An Abstract Way to Define Rewriting Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:205-226 [Journal ] Mahdi Niamanesh , Nafiseh Fekrazad Nobakht , Rasool Jalili , Faranak Heydarian Dehkordi On Validity Assurance of Dynamic Reconfiguration for Component-based Programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:227-239 [Journal ] Mario Bravetti , Adalberto Casalboni , Manuel Núñez , Ismael Rodríguez From Theoretical e-barter Models to an Implementation Based on Web Services. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:241-264 [Journal ] Shunsuke Sasaki , Tasuku Nishihara , Masahiro Fujita Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:265-280 [Journal ] Erika Ábrahám , Frank S. de Boer , Willem P. de Roever , Martin Steffen Inductive Proof Outlines for Exceptions in Multithreaded Java. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:281-297 [Journal ] Mark-Oliver Stehr Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:299-323 [Journal ]