Algebraic Process Verification
暂无分享,去创建一个
[1] Huajun Quin,et al. Efficient Verification of Determinate Processes , 1991, CONCUR.
[2] Jan A. Bergstra,et al. Grid Protocols Based on Synchronous Communication , 1997, Sci. Comput. Program..
[3] A. T. M. Aerts,et al. OODB Support for WWW Applications: Disclosing the internal structure of Hyperdocuments , 1996, WebNet.
[4] Jan A. Bergstra,et al. Deadlock Behaviour in Split and ST Bisimulation Semantics , 1998, EXPRESS.
[5] R. J. vanGlabbeek. The linear time - branching time spectrum , 1990 .
[6] M. Voorhoeve. Structural Petri net equivalence , 1996 .
[7] J. F. Groote. The Syntax and Semantics of timed μ CRL , 1997 .
[8] Jan Friso Groote,et al. Proof Theory for µCRL: A Language for Processes with Data , 1993, Semantics of Specification Languages.
[9] Atm Ad Aerts,et al. Multi-user publishing in the Web: DReSS, a Document Repository Service Station , 1996 .
[10] Seif Haridi,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.
[11] Fairouz Kamareddine,et al. A correspondence between Nuprl and the Ramified Theory of Types , 1996 .
[12] Jan Friso Groote,et al. Checking Verifications of Protocols and Distributed Systems by Computer , 1998, CONCUR.
[13] Sjouke Mauw,et al. A process specification formalism , 1990 .
[14] J. F. Groote. A note on n similar parallel processes , 1996 .
[15] Lawrence C. Paulson,et al. Isabelle: The Next 700 Theorem Provers , 2000, ArXiv.
[16] Glynn Winskel,et al. Event Structures , 1986, Advances in Petri Nets.
[17] Wolfgang Reisig,et al. Petri Nets: Applications and Relationships to Other Models of Concurrency , 1986, Lecture Notes in Computer Science.
[18] van de Pol,et al. Requirements specification and analysis of command and control systems , 2001 .
[19] Jan Springintveld,et al. A Computer-Checked Verification of Milner's Scheduler , 1993, TACS.
[20] Jan Friso Groote,et al. A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL , 1993, Comput. J..
[21] Twan Basten,et al. A process-algebraic approach to life-cycle inheritance : inheritance = encapsulation + abstraction , 1996 .
[22] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[23] Mgj Franssen,et al. Tools for the construction of correct programs : an overview , 1997 .
[24] J.C.M. Baeten,et al. CONCUR '90 Theories of Concurrency: Unification and Extension , 1990, Lecture Notes in Computer Science.
[25] Jjm Jozef Hooman,et al. A programming-language extension for distributed real-time systems , 1997 .
[26] S. P. Luttik. Description and formal specification of the Link Layer of P1394 , 1997, FME 1997.
[27] Iain Phillips,et al. Refusal Testing , 1986, Theoretical Computer Science.
[28] Jan Friso Groote,et al. Invariants in Process Algebra with Data , 1993, CONCUR.
[29] S. Andova. Process algebra with interleaving probabilistic parallel composition , 1999 .
[30] Jan Friso Groote,et al. Confluence for Process Verification , 1995, Theor. Comput. Sci..
[31] Jan Friso Groote,et al. A Bounded Retransmission Protocol for Large Data Packets , 1993, AMAST.
[32] Roland Carl Backhouse,et al. Deriving a systolic regular language recognizer , 1997, Algorithmic Languages and Calculi.
[33] J. J. van Wamel,et al. Verification Techniques for Elementary Data Types and Retransmission Protocols , 1995 .
[34] Jan Friso Groote,et al. An algorithm for the asynchronous Write-All problem based on process collision , 2001, Distributed Computing.
[35] Hans Bekic,et al. Towards a Mathematical Theory of Processes , 1984, Programming Languages and Their Definition.
[36] van Km Kees Hee,et al. An analytical method for assessing business processes , 1998 .
[37] Ag Engels,et al. Why men (and octopuses) cannot juggle a four ball cascade , 1997 .
[38] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .
[39] Frits W. Vaandrager,et al. Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394 , 2000, Formal Methods Syst. Des..
[40] V Victor Bos,et al. Structured operational semantics of chi , 1999 .
[41] Gerard J. Holzmann,et al. An improvement in formal verification , 1994, FORTE.
[42] Roland Carl Backhouse,et al. Final dialgebras: From categories to allegories , 1999, RAIRO Theor. Informatics Appl..
[43] Roland Carl Backhouse,et al. Calculating a Round-Robin Scheduler , 1998, MPC.
[44] Vaj Tijn Borghuis. Priorean tense logics in modal pure type systems , 1996 .
[45] Jos C. M. Baeten,et al. Real time process algebra with time-dependent conditions , 2001, J. Log. Algebraic Methods Program..
[46] Lawrence Charles Paulson,et al. Isabelle: A Generic Theorem Prover , 1994 .
[47] Michel A. Reniers,et al. A process algebra based verification of a production system , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
[48] Jan Friso Groote,et al. Focus points and convergent process operators: a proof strategy for protocol verification , 2001, J. Log. Algebraic Methods Program..
[49] Reniers,et al. Completeness in discrete-time process algebra , 1996 .
[50] Wil M. P. van der Aalst,et al. Diagnosing Workflow Processes using Woflan , 2001, Comput. J..
[51] Jcm Jos Baeten,et al. Process algebra with explicit termination , 2000 .
[52] Ieee Standards Board. IEEE Standard for a High Performance Serial Bus-Amendment 1 , 2000 .
[53] J. F. Groote,et al. A Correctness Proof of the Bakery Protocol in CRL , 1994 .
[54] Carron Shankland,et al. The Tree Identify Protocol of IEEE 1394 in μCRL , 1998, Formal Aspects of Computing.
[55] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[56] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[57] Dieter K. Hammer,et al. Distributed real-time systems : a survey of applications and a general design model , 1997 .
[58] Twan Basten,et al. Partial-Order Process Algebra (and its Relation to Petri Nets) , 2001, Handbook of Process Algebra.
[59] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..
[60] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[61] Itu-T. Specification and Description Language (SDL) , 1999 .
[62] Robin Milner,et al. Processes: A Mathematical Model of Computing Agents , 1975 .
[63] Antoni W. Mazurkiewicz,et al. Basic notions of trace theory , 1988, REX Workshop.
[64] Wil M. P. van der Aalst,et al. Life-Cycle Inheritance: A Petri-Net-Based Approach , 1997, ICATPN.
[65] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum II , 1993, CONCUR.
[66] Suzana Andova,et al. Process Algebra with Probabilistic Choice , 1999, ARTS.
[67] Amy P. Felty,et al. The Coq proof assistant user's guide : version 5.6 , 1990 .
[68] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .
[69] Erik P. de Vink,et al. Control flow semantics , 1996 .
[70] W.M.P. van der Aalst,et al. Structural characterizations of sound workflow nets , 1996 .
[71] Mihaela Sighireanu,et al. Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS , 1998, International Journal on Software Tools for Technology Transfer.
[72] P.D.V. van der Stok,et al. Real-time distributed concurrency control algorithms with mixed time constraints , 1996 .
[73] Gjpm Geert-Jan Houben,et al. Designing effective workflow management processes , 1996 .
[74] Wil M. P. van der Aalst,et al. Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..
[75] van Km Kees Hee,et al. A framework for component based software architectures , 1999 .
[76] van der Wmp Wil Aalst,et al. Conservative adaption of workflow , 1996, PAKM.
[77] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .
[78] Mihaela Sighireanu,et al. Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus , 1997 .
[79] Wil M.P. van der Aalst,et al. WOFLAN : a Petri-net-based workflow analyzer , 1999 .
[80] Jan Friso Groote,et al. Syntax and semantics of CRL , 1995 .
[81] R. Veltkamp,et al. Efficient evaluation of triangular B-splines , 1999 .
[82] Lmg Loe Feijs. Algebraic specification and simulation of lazy functional programs in a concurrent environment , 1996 .
[83] Jozef Hooman,et al. Semantical aspects of an architecture for distributed embedded systems , 2000, SAC '00.
[84] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[85] Jan Friso Groote,et al. Formal Verification of a Leader Election Protocol in Process Algebra , 1997, Theor. Comput. Sci..
[86] Michel A. Reniers,et al. Static semantics of message sequence charts , 1996 .