Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu  Home/Search
Context
Related
| thor.info.uaic.ro/~gabri...tkpioz.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: thor.info.uaic.ro/~gab...papers04 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software systems have become increasingly distributed, dynamic and mobile. The complex state and dynamic interfaces of software components and their concurrent interactions provide challenging research issues in system specification and design. An effective combination of structured state-based formalism and dynamic action-based calculus may be a good solution for modeling complex distributed mobile systems. In this paper, we investigate the semantic links between Object-Z and -calculus and... (Update)
Active bibliography (related documents): More All
4.3: Relating π-calculus to Object-Z - Taguchi, Dong, al. (2004) (Correct)
1.0: Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
0.9: Integrating Object-Z with Timed Automata - Dong Duke National (Correct)
Similar documents based on text: More All
0.4: Topological Spaces of the Web Gabriel Ciobanu - Romanian Academy Institute (Correct)
0.3: Formal Specification of Catalysis Frameworks - Filipe, Lau, Ornaghi, Taguchi.. (2000) (Correct)
0.2: An Evaluation of Input Devices for Timbre Space Navigation - Vertegaal (1994) (Correct)
BibTeX entry: (Update)
@misc{ taguchi-relating,
author = "Kenji Taguchi and Jin Song Dong and Gabriel Ciobanu",
title = "Relating π-calculus to Object-Z",
url = "citeseer.ist.psu.edu/719275.html" }
Citations (may not include all citations):178 Communicating and mobile systems : the - calculus (context) - Milner - 1999
121 Kluwer Academic Publishers (context) - Smith, Specification et al. - 2000
102 A framework for expressing the relationships between multipl.. - Nuseibeh, Kramer et al. - 1994
49 Model checking mobile processes - Dam - 1996
35 Mobile unity: reasoning and specification in mobile computin.. - McCann, Roman et al. - 1997
33 A Calculus of Mobile Processes Part I and II (context) - Milner, Parrow et al. - 1992
24 Prentice-Hall International (context) - Woodcock, Davies et al. - 1996
24 refinement and verification of concurrent systems - an integ.. - Smith, Derrick - 2001
21 Formal Object Oriented Specification Using Object-Z (context) - Duke, Rose - 2000
21 The Mobility Workbench --- A tool for the -calculus (context) - Victor, Moller - 1994
19 An operational semantics for ZCCS - Galloway, Stoddart
19 IEEE Transactions on Software Engineering (context) - Mahony, Dong et al. - 2000
18 Model-Checking CSP-OZ Specifications with FDR - Fischer, Wehrheim
16 The State-Based CCS Semantics for Concurrent Z Specification (context) - Taguchi, Araki
13 A behavioral module system for the pi-calculus - Rajamani, Rehof - 2001
12 and timed CSP (context) - Suhl, An
8 IFM'99: Integrated Formal Methods (context) - Araki, Galloway et al. - 1999
7 Parallel Programming Design (context) - Chandy, Misra - 1988
7 Different FDT's confronted with different ODP-viewpoints of .. - Fischer, Prinz et al. - 1993
6 the IEEE International Conference on Formal Engineering Meth.. (context) - Hinchey, Liu - 1997
6 Encoding object z isabellehol - Kammller, object et al. - 2002
5 IFM'00: Integrated Formal Methods (context) - Grieskamp, Santen et al. - 1945
5 The steam boiler in a unified theory of Z and CSP (context) - Woodcock, Cavalcanti - 2001
4 IFM'02: Integrated Formal Methods (context) - Butler, Petre et al. - 2002
3 Lecture Notes in Computer Science (context) - George, Miao et al. - 2002
3 XML-based static type checking and dynamic visualization for.. - Dong, Li et al.
3 An Overview of Mobile ObjectZ (context) - Taguchi, Dong
3 verifying concurrent systems using Z (context) - Evans - 1994
2 Applied pi - a brief tutorial - Sewell - 2000
2 Journal of Universal Computer Science (context) - Ciobanu, Rotaru et al. - 2000
Documents on the same site (http://thor.info.uaic.ro/~gabriel/papers04.html):
Communicating Concurrent Objects in HiddenCCS - Ciobanu, Lucanu (2004) (Correct)
Specification and Verification of Synchronizing - Concurrent Objects Gabriel (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC