Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
In this paper, we examine “program adjustment”, a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, and program adjustment to satisfy tempor...
Saved in:
| Published in: | The Journal of systems and software Vol. 33; no. 3; pp. 207 - 221 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
New York
Elsevier Inc
01.06.1996
Elsevier Sequoia S.A |
| Subjects: | |
| ISSN: | 0164-1212, 1873-1228 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | In this paper, we examine “program adjustment”, a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e., imperfect) processes to remove harmful nondeterministic behaviors. Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into the kernel language (KL1) and executed on Multi-PSI. |
|---|---|
| AbstractList | In this paper, we examine “program adjustment”, a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e., imperfect) processes to remove harmful nondeterministic behaviors. Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into the kernel language (KL1) and executed on Multi-PSI. An examination is presented of program adjustment, a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e., imperfect) processes to remove harmful nondeterministic behaviors. Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. A computer-aided programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment, is developed. Adjusted programs can be compiled into the kernel language and executed on Multi-PSI. |
| Author | Uchihira, Naoshi Honiden, Shinichi |
| Author_xml | – sequence: 1 givenname: Naoshi surname: Uchihira fullname: Uchihira, Naoshi – sequence: 2 givenname: Shinichi surname: Honiden fullname: Honiden, Shinichi |
| BookMark | eNqFkE1v2yAYgNGUSkvT_oMeUA_TdvAKGGzcQ6UpzT6ktD10u_SCCH5dEdmQAq6Ufz-sVDvk0B0QAj3PK3hO0cx5BwhdUPKVElpd5cULyij73FRfCCGMFuQDmlNZl_mayRma_0M-otMYtxmqGWFzBEs_7Hy0yXqne6zb7RjTAC5h32HjnRlDmE674J-DHiJOHkedbOz2OEFWQ7Z6_2zNRMcUtHUpYuvw3er-drV-xE8P96szdNLpPsL5275Af76vfi9_FuuHH7-W39aFKSuWig1nhAoJQDRrCYdmQwQTjIq2rptyw7mQUja0o1JWlWzrlsOGdxlqy4qWHZQL9OkwNz_3ZYSY1GCjgb7XDvwYFatILUvBM3h5BG79GHKBzLBGCFYKmqHrA2SCjzFAp4xNeio1fbNXlKgpv5raqqmtavJhyq9IlvmRvAt20GH_P-3moEHO9GohqGgsOAOtDWCSar19f8BfQ8yc7w |
| CODEN | JSSODM |
| CitedBy_id | crossref_primary_10_1023_A_1007596132256 crossref_primary_10_1109_4434_605918 |
| Cites_doi | 10.1093/comjnl/33.6.494 10.1016/0890-5401(90)90025-D 10.1145/357233.357237 10.1145/356842.356846 10.1016/0167-6423(83)90017-5 10.1137/0216062 10.1109/32.368123 |
| ContentType | Journal Article |
| Copyright | 1996 Copyright Elsevier Sequoia S.A. Jun 1996 |
| Copyright_xml | – notice: 1996 – notice: Copyright Elsevier Sequoia S.A. Jun 1996 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/0164-1212(96)00021-0 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-1228 |
| EndPage | 221 |
| ExternalDocumentID | 9717781 10_1016_0164_1212_96_00021_0 0164121296000210 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9M8 AABNK AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN AAYOK ABBOA ABEFU ABFNM ABFRF ABFSI ABJNI ABMAC ABTAH ABXDB ABYKQ ACDAQ ACGFO ACGFS ACGOD ACNNM ACRLP ACZNC ADBBV ADEZE ADHUB ADJOM ADMUD AEBSH AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TAE TN5 TWZ UHS UNMZH VH1 WUQ XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c362t-b420158ee0a2d04e9b0525215d7793b44588891f188668d7d4eb4fb05d3613fe3 |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=0164121296000210&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0164-1212 |
| IngestDate | Sun Sep 28 06:09:37 EDT 2025 Sun Nov 09 08:52:29 EST 2025 Sat Nov 29 05:52:07 EST 2025 Tue Nov 18 21:38:35 EST 2025 Fri Feb 23 02:34:14 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c362t-b420158ee0a2d04e9b0525215d7793b44588891f188668d7d4eb4fb05d3613fe3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 content type line 14 ObjectType-Article-2 ObjectType-Feature-1 content type line 23 |
| PQID | 229552351 |
| PQPubID | 45802 |
| PageCount | 15 |
| ParticipantIDs | proquest_miscellaneous_26078354 proquest_journals_229552351 crossref_citationtrail_10_1016_0164_1212_96_00021_0 crossref_primary_10_1016_0164_1212_96_00021_0 elsevier_sciencedirect_doi_10_1016_0164_1212_96_00021_0 |
| PublicationCentury | 1900 |
| PublicationDate | 1996-06-01 |
| PublicationDateYYYYMMDD | 1996-06-01 |
| PublicationDate_xml | – month: 06 year: 1996 text: 1996-06-01 day: 01 |
| PublicationDecade | 1990 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | The Journal of systems and software |
| PublicationYear | 1996 |
| Publisher | Elsevier Inc Elsevier Sequoia S.A |
| Publisher_xml | – name: Elsevier Inc – name: Elsevier Sequoia S.A |
| References | Kanellakis, Smolka (BIB7) 1990; 86 Uchihira, Arami, Honiden (BIB18) 1992; E75-A Milner (BIB10) 1989 Abadi, Lamport, Wolper (BIB1) 1989 Uchihira, Kasuya, Matsumoto, Honiden (BIB15) 1987 Vardi, Wolper (BIB21) 1986 Emerson, Clarke (BIB5) 1982; Vol. 2 Taki (BIB14) 1989 Manna, Wolper (BIB8) 1984; 6 Bernstein, Goodman (BIB2) 1981; 13 Uchihira, Honiden (BIB17) 1990; E73 Clarke, Long, McMillan (BIB4) 1989 Ramadge, Wonham (BIB13) 1989; 77 Honiden, Nishimura, Uchihira, Itoh (BIB6) 1994; 20 MENDELS ZONE (BIB9) 1992 Büchi (BIB3) 1962 Pnueli, Rosner (BIB12) 1989 Wolper, Vardi, Sistla (BIB20) 1983 Paige, Tarjan (BIB11) 1987; 16 Ueda, Chikayama (BIB19) 1990; 33 Uchihira, Kawata, Matsumoto, Ito, Honiden (BIB16) 1990; Vol. 2 Bernstein (10.1016/0164-1212(96)00021-0_BIB2) 1981; 13 Taki (10.1016/0164-1212(96)00021-0_BIB14) 1989 Emerson (10.1016/0164-1212(96)00021-0_BIB5) 1982; Vol. 2 Pnueli (10.1016/0164-1212(96)00021-0_BIB12) 1989 Clarke (10.1016/0164-1212(96)00021-0_BIB4) 1989 Vardi (10.1016/0164-1212(96)00021-0_BIB21) 1986 Milner (10.1016/0164-1212(96)00021-0_BIB10) 1989 Uchihira (10.1016/0164-1212(96)00021-0_BIB15) 1987 Manna (10.1016/0164-1212(96)00021-0_BIB8) 1984; 6 Wolper (10.1016/0164-1212(96)00021-0_BIB20) 1983 Abadi (10.1016/0164-1212(96)00021-0_BIB1) 1989 Büchi (10.1016/0164-1212(96)00021-0_BIB3) 1962 Ramadge (10.1016/0164-1212(96)00021-0_BIB13) 1989; 77 Uchihira (10.1016/0164-1212(96)00021-0_BIB17) 1990; E73 Ueda (10.1016/0164-1212(96)00021-0_BIB19) 1990; 33 Kanellakis (10.1016/0164-1212(96)00021-0_BIB7) 1990; 86 Honiden (10.1016/0164-1212(96)00021-0_BIB6) 1994; 20 Paige (10.1016/0164-1212(96)00021-0_BIB11) 1987; 16 MENDELS ZONE (10.1016/0164-1212(96)00021-0_BIB9) 1992 Uchihira (10.1016/0164-1212(96)00021-0_BIB16) 1990; Vol. 2 Uchihira (10.1016/0164-1212(96)00021-0_BIB18) 1992; E75-A |
| References_xml | – year: 1962 ident: BIB3 article-title: A Decision Method in Restricted Second Order Arithmetic publication-title: Proc. Internat. Congr. Logic, Method. and Philos. Sci. – start-page: 627 year: 1989 end-page: 632 ident: BIB14 article-title: The FGCS Computing Architecture publication-title: Information Processing 89, Proc. IFIP 11th World Computer Congress – volume: 16 start-page: 973 year: 1987 end-page: 989 ident: BIB11 article-title: Three Partition Refinement Algorithms publication-title: SIAM J. Comput. – start-page: 179 year: 1989 end-page: 190 ident: BIB12 article-title: On the Synthesis of a Reactive Module publication-title: 16th ACM Symp. on Principles of Programming Languages – start-page: 353 year: 1989 end-page: 362 ident: BIB4 article-title: Compositional Model Checking publication-title: Proc. 4th Symposium on Logic in Computer Science – volume: Vol. 2 start-page: 64 year: 1990 end-page: 73 ident: BIB16 article-title: Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse – volume: 13 start-page: 185 year: 1981 end-page: 221 ident: BIB2 article-title: Concurrency Control in Distributed Database Systems publication-title: ACM Computing Surveys – start-page: 332 year: 1986 end-page: 344 ident: BIB21 article-title: An Automata-Theoretic Approach to Automatic Program Verification publication-title: Proc. 1st Symp. on Logic in Computer Science – volume: 33 start-page: 494 year: 1990 end-page: 500 ident: BIB19 article-title: Design of the Kernel Language for the Parallel Inference Machine publication-title: Comput. J. – volume: 77 start-page: 81 year: 1989 end-page: 98 ident: BIB13 article-title: The Control of Discrete Event Systems publication-title: Proc. IEEE – year: 1989 ident: BIB10 publication-title: Communication and Concurrency – year: 1992 ident: BIB9 – start-page: 185 year: 1983 end-page: 194 ident: BIB20 article-title: Reasoning about Infinite Computation Paths publication-title: Proc. IEEE 24th Symp. on Foundations of Computer Science – volume: E73 start-page: 1001 year: 1990 end-page: 2010 ident: BIB17 article-title: Verification and Synthesis of Concurrent Programs using Petri Nets and Temporal Logic publication-title: Trans. IEICE – volume: 86 start-page: 43 year: 1990 end-page: 68 ident: BIB7 article-title: CCS Expressions, Finite State Processes and Three Problems of Equivalence publication-title: Information and Computation – volume: 20 start-page: 849 year: 1994 end-page: 867 ident: BIB6 article-title: An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems publication-title: IEEE Trans. Software Engineering – volume: Vol. 2 start-page: 241 year: 1982 end-page: 266 ident: BIB5 article-title: Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons publication-title: Science of Computer Programming – start-page: 455 year: 1987 end-page: 464 ident: BIB15 article-title: Concurrent Program Synthesis with Reusable Components Using Temporal Logic – volume: 6 start-page: 68 year: 1984 end-page: 93 ident: BIB8 article-title: Synthesis of Communicating Processes from Temporal Logic Specification publication-title: ACM Trans. Program. Lang. & Syst. – year: 1989 ident: BIB1 article-title: Realizable and Unrealizable Specifications of Reactive Systems publication-title: 16th ICALP – volume: E75-A start-page: 1335 year: 1992 end-page: 1347 ident: BIB18 article-title: A Petri-NetBased Programming Environment and Its Design Methodology for Cooperating Discrete Event Systems publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. – start-page: 179 year: 1989 ident: 10.1016/0164-1212(96)00021-0_BIB12 article-title: On the Synthesis of a Reactive Module – volume: 33 start-page: 494 issue: 6 year: 1990 ident: 10.1016/0164-1212(96)00021-0_BIB19 article-title: Design of the Kernel Language for the Parallel Inference Machine publication-title: Comput. J. doi: 10.1093/comjnl/33.6.494 – volume: 86 start-page: 43 year: 1990 ident: 10.1016/0164-1212(96)00021-0_BIB7 article-title: CCS Expressions, Finite State Processes and Three Problems of Equivalence publication-title: Information and Computation doi: 10.1016/0890-5401(90)90025-D – year: 1992 ident: 10.1016/0164-1212(96)00021-0_BIB9 – year: 1989 ident: 10.1016/0164-1212(96)00021-0_BIB1 article-title: Realizable and Unrealizable Specifications of Reactive Systems – volume: 6 start-page: 68 issue: 1 year: 1984 ident: 10.1016/0164-1212(96)00021-0_BIB8 article-title: Synthesis of Communicating Processes from Temporal Logic Specification publication-title: ACM Trans. Program. Lang. & Syst. doi: 10.1145/357233.357237 – volume: E75-A start-page: 1335 issue: 10 year: 1992 ident: 10.1016/0164-1212(96)00021-0_BIB18 article-title: A Petri-NetBased Programming Environment and Its Design Methodology for Cooperating Discrete Event Systems publication-title: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. – volume: 77 start-page: 81 year: 1989 ident: 10.1016/0164-1212(96)00021-0_BIB13 article-title: The Control of Discrete Event Systems – volume: E73 start-page: 1001 issue: 12 year: 1990 ident: 10.1016/0164-1212(96)00021-0_BIB17 article-title: Verification and Synthesis of Concurrent Programs using Petri Nets and Temporal Logic publication-title: Trans. IEICE – volume: 13 start-page: 185 issue: 2 year: 1981 ident: 10.1016/0164-1212(96)00021-0_BIB2 article-title: Concurrency Control in Distributed Database Systems publication-title: ACM Computing Surveys doi: 10.1145/356842.356846 – year: 1962 ident: 10.1016/0164-1212(96)00021-0_BIB3 article-title: A Decision Method in Restricted Second Order Arithmetic – start-page: 627 year: 1989 ident: 10.1016/0164-1212(96)00021-0_BIB14 article-title: The FGCS Computing Architecture – volume: Vol. 2 start-page: 64 year: 1990 ident: 10.1016/0164-1212(96)00021-0_BIB16 article-title: Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse – volume: Vol. 2 start-page: 241 year: 1982 ident: 10.1016/0164-1212(96)00021-0_BIB5 article-title: Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons publication-title: Science of Computer Programming doi: 10.1016/0167-6423(83)90017-5 – start-page: 353 year: 1989 ident: 10.1016/0164-1212(96)00021-0_BIB4 article-title: Compositional Model Checking – start-page: 185 year: 1983 ident: 10.1016/0164-1212(96)00021-0_BIB20 article-title: Reasoning about Infinite Computation Paths – year: 1989 ident: 10.1016/0164-1212(96)00021-0_BIB10 – volume: 16 start-page: 973 issue: 6 year: 1987 ident: 10.1016/0164-1212(96)00021-0_BIB11 article-title: Three Partition Refinement Algorithms publication-title: SIAM J. Comput. doi: 10.1137/0216062 – start-page: 455 year: 1987 ident: 10.1016/0164-1212(96)00021-0_BIB15 article-title: Concurrent Program Synthesis with Reusable Components Using Temporal Logic – start-page: 332 year: 1986 ident: 10.1016/0164-1212(96)00021-0_BIB21 article-title: An Automata-Theoretic Approach to Automatic Program Verification – volume: 20 start-page: 849 issue: 11 year: 1994 ident: 10.1016/0164-1212(96)00021-0_BIB6 article-title: An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems publication-title: IEEE Trans. Software Engineering doi: 10.1109/32.368123 |
| SSID | ssj0007202 |
| Score | 1.4802941 |
| Snippet | In this paper, we examine “program adjustment”, a formal and practical approach to developing correct concurrent programs, by automatically adjusting an... An examination is presented of program adjustment, a formal and practical approach to developing correct concurrent programs, by automatically adjusting an... In this paper, we examine 'program adjustment', a formal and practical approach to developing correct concurrent programs, by automatically adjusting an... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 207 |
| SubjectTerms | Computer programming Multitasking Parallel processing Studies Systems development Temporal logic |
| Title | Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE |
| URI | https://dx.doi.org/10.1016/0164-1212(96)00021-0 https://www.proquest.com/docview/229552351 https://www.proquest.com/docview/26078354 |
| Volume | 33 |
| WOSCitedRecordID | wos0164121296000210&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-1228 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0007202 issn: 0164-1212 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Jj9MwGLWgw4ELO6IMiw8IgUYRWRwvxxFkBKh0kKaVKi5WnDhq0SgtkxTm5_PZsZMOCBUOXKLKcZLK38vzi_0tCL0gQhWFFkWQ84gEpBI0EKGqgqQAOmQlM5OgLTbBplO-WIjPbse0seUEWF3zy0ux-a-mhjYwtgmd_Qdz9zeFBvgNRocjmB2Of2V484Y7TyyTB6D8um1av-MPH7-FS8jkHLNsgofGhjiADu3yVJ0fWUI0vRtbQqK1TrOfsum7bHJ29OV0mu1q2iG6zOraLjd0l_q5AZL_kQ_-tfNiuVqubGkj4PV1s1z1sAJucRR4tjTBmu5U6SL06OA45dcoqUmFGF0h2S7bhQNTssuYXdFbN_nGXbj0b7zeLTH0dwbxLaDBFDyNoyAc5jK_fz89lSfzyUTOssXs5eZbYKqMmd14V3LlOjqIWSr4CB0cf8gWH_u5m8XWS7V_kA-2jOibvu2VoK_dg_8kZn6Z1q1Wmd1Bt5wx8HEHjrvomq7vodu-gAd2fH4f6StYwQNW8LrCA1awxwpu19hhBXusYIsVvIMVvKqxwwo2WHmA5ifZ7O37wNXdCAqQM22gCKjClGsd5nEZEi2UKXYI2rBkwOaKmOBmLqIq4pxSXrKSaEUq6FQmIA4rnTxEo3pd60cIE5LHgnJahIoTlSseF4opmjNOSlql1RglfgBl4ZLSmz97Lr33oRl2aYZdCuOACcMuwzEK-qs2XVKWPf2Zt410wrITjBLwtefKQ29K6d7xRsaxSNM4SaMxet6fBVY2W215rddb6EJDu6T6eG-PQ3RzeImeoFF7sdVP0Y3iOxjz4pnD5085HqoY |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Compositional+adjustment+of+concurrent+programs+to+satisfy+temporal+logic+constraints+in+MENDELS+ZONE&rft.jtitle=The+Journal+of+systems+and+software&rft.au=Uchihira%2C+Naoshi&rft.au=Honiden%2C+Shinichi&rft.date=1996-06-01&rft.issn=0164-1212&rft.volume=33&rft.issue=3&rft.spage=207&rft.epage=221&rft_id=info:doi/10.1016%2F0164-1212%2896%2900021-0&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0164-1212&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0164-1212&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0164-1212&client=summon |