Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)
スポンサーリンク
概要
著者
-
Watanabe Takuo
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Futatsugi Kokichi
School Of Information Science Jaist
-
Futatsugi Kokichi
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Ishikawa Hiroshi
School of Information Science, Japan Advanced Institute of Science and Technology
-
Ishikawa Hiroshi
School Of Information Science Japan Advanced Institute Of Science And Technology
-
FUTATSUGI Kokichi
School of Information Science
関連論文
- State Machines as Inductive Types(Concurrent Systems)
- Proof Score Approach to Verification of Liveness Properties
- Analysis of membership sharing in digital subscription services
- Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
- A Specification Translation from Behavioral Specifications to Rewrite Specifications
- Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm(Concurrent Systems)
- A Behavioral Specification of Imperative Programming Languages
- Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)
- A Scenario-based Object-Oriented Modeling Method with Algebraic
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ