Version du Tue Oct 15 18 : 07 : 38 MET DST 2002 On combining the Persistent Sets Method

نویسنده

  • Bernard BERTHOMIEU
چکیده

Concurrent systems are commonly veriied after computing a state graph describing all possible behaviors. Unfortunately, this state graph is often too large to be eeectively built. Partial-order techniques have been developed to avoid combinatorial explosion while preserving the properties of interest. This paper investigates the combination of two such approaches, persistent sets and covering steps, and proposes partial enumeration algorithms that cumulate their respective beneets.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Weighted Polynomials and Weighted Pluripotential Theory

X iv :m at h/ 06 10 33 0v 1 [ m at h. C V ] 1 0 O ct 2 00 6 From miranda Tue Oct 10 09:42:48 2006 Return-Path: ¡[email protected]¿ Received: miranda@localhost) by coxeter.math.toronto.edu (AIX5.2/8.11.6p2/8.11.0/UTMath 1.0) id k9ADgmn118742; Tue, 10 Oct 2006 09:42:48 -0400 Date: Tue, 10 Oct 2006 09:42:48 -0400 From: Miranda Tang ¡[email protected] Message-Id: ¡200610101342.k9ADgmn118742...

متن کامل

Abbreviations.

Joint Implementation Supervisory Committee Tenth meeting Report Annex 3 Annex 3 SCHEDULE OF MEETINGS OF THE JOINT IMPLEMENTATION SUPERVISORY COMMITTEE IN 2008 Mo Tue Wed Thur Fri Sat Sun Mo Tue Wed Thur Fri Sat Sun Mo Tue Wed Thur Fri Sat Sun Mo Tue Wed Thur Fri Sat Sun Mo Tue 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17...

متن کامل

Constraint - based processing and advanced parsing techniques

Dates 1. Tue, 27. March: Introduction 2. Thu, 29. March: Chunk parsing (Erhard) read before seminar: Abney (1995, 1996) 3. Tue, 3. April : Processing with HPSG linguistics (Detmar) read before seminar: Meurers (1994) 4. Thu, 5. April : Processing with HPSG linguistics (Detmar) 5. Tue, 10. April : 6. Thu, 12. April : at upenn, reschedule? 7. Tue, 17. April : 8. Thu, 19. April : 9. Tue, 24. April...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002