[ { "key": "ZGITPHBC", "version": 181, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/ZGITPHBC", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/ZGITPHBC", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/GVC22R52", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "ZGITPHBC", "version": 181, "parentItem": "GVC22R52", "itemType": "attachment", "linkMode": "imported_file", "title": "1984 Brookes-A Theory of Communicating Sequential.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1984 Brookes-A Theory of Communicating Sequential.pdf", "md5": "235f53757b99fe7cb18c70735b2ed060", "mtime": 1389737489000, "tags": [], "relations": {}, "dateAdded": "2014-01-14T22:11:29Z", "dateModified": "2014-01-14T22:11:29Z" } }, { "key": "GVC22R52", "version": 180, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/GVC22R52", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/GVC22R52", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Brookes et al.", "parsedDate": "1984-07", "numChildren": 1 }, "data": { "key": "GVC22R52", "version": 180, "itemType": "journalArticle", "title": "A Theory of Communicating Sequential Processes", "creators": [ { "creatorType": "author", "firstName": "S. D.", "lastName": "Brookes" }, { "creatorType": "author", "firstName": "C. A. R.", "lastName": "Hoare" }, { "creatorType": "author", "firstName": "A. W.", "lastName": "Roscoe" } ], "abstractNote": "", "publicationTitle": "Journal of the ACM", "publisher": "", "place": "", "date": "July 1984", "volume": "31", "issue": "3", "section": "", "partNumber": "", "partTitle": "", "pages": "560–599", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "3C8RFUV9" ], "relations": {}, "dateAdded": "2014-01-14T22:11:29Z", "dateModified": "2014-01-14T22:11:29Z" } }, { "key": "4XHWD7BC", "version": 179, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/4XHWD7BC", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/4XHWD7BC", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/D8UAA26D", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "4XHWD7BC", "version": 179, "parentItem": "D8UAA26D", "itemType": "attachment", "linkMode": "imported_file", "title": "1984-Esterel Synchronous-Berry.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1984-Esterel Synchronous-Berry.pdf", "md5": "ea1a1f374d157109ec6634c3dd3f04cc", "mtime": 1389735823000, "tags": [], "relations": {}, "dateAdded": "2014-01-14T21:43:43Z", "dateModified": "2014-01-14T21:43:43Z" } }, { "key": "D8UAA26D", "version": 178, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/D8UAA26D", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/D8UAA26D", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Berry and Cosserat", "parsedDate": "1984-07", "numChildren": 1 }, "data": { "key": "D8UAA26D", "version": 178, "itemType": "conferencePaper", "title": "The Synchronous Programming Language ESTEREL and its Mathematical Semantics", "creators": [ { "creatorType": "author", "firstName": "G.", "lastName": "Berry" }, { "creatorType": "author", "firstName": "L.", "lastName": "Cosserat" }, { "creatorType": "editor", "firstName": "S. D.", "lastName": "Brookes" }, { "creatorType": "editor", "firstName": "A. W.", "lastName": "Roscoe" }, { "creatorType": "editor", "firstName": "G.", "lastName": "Winskel" } ], "abstractNote": "", "proceedingsTitle": "Seminar on Concurrency", "conferenceName": "", "publisher": "Springer Verlag", "place": "Pittsburgh, PA (USA)", "date": "July 1984", "eventPlace": "", "volume": "197", "issue": "", "numberOfVolumes": "", "pages": "1–57", "series": "LNCS", "seriesNumber": "", "DOI": "", "ISBN": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "5TBVBZ93" ], "relations": {}, "dateAdded": "2014-01-14T21:43:43Z", "dateModified": "2014-01-14T21:43:43Z" } }, { "key": "PXUFKZFG", "version": 177, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/PXUFKZFG", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/PXUFKZFG", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/ZRX9IJQ5", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "PXUFKZFG", "version": 177, "parentItem": "ZRX9IJQ5", "itemType": "attachment", "linkMode": "imported_file", "title": "1983-Fundamental Design-Mok.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1983-Fundamental Design-Mok.pdf", "md5": "c4b403b5ad6ca8d384d2e29441c2c863", "mtime": 1389714290000, "tags": [], "relations": {}, "dateAdded": "2014-01-14T15:44:50Z", "dateModified": "2014-01-14T15:44:50Z" } }, { "key": "ZRX9IJQ5", "version": 176, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/ZRX9IJQ5", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/ZRX9IJQ5", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Mok", "parsedDate": "1983-05", "numChildren": 1 }, "data": { "key": "ZRX9IJQ5", "version": 176, "itemType": "thesis", "title": "Fundamental Design Problems of Distributed Systems for Hard-Real-Time Environment", "creators": [ { "creatorType": "author", "firstName": "A. K.", "lastName": "Mok" } ], "abstractNote": "", "thesisType": "", "university": "Department of Electrical Engineering and Computer Science, MIT", "place": "Cambridge, MA (USA)", "date": "May 1983", "series": "", "seriesNumber": "", "numPages": "", "DOI": "", "ISBN": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "WH7SEN8P" ], "relations": {}, "dateAdded": "2014-01-14T15:44:50Z", "dateModified": "2014-01-14T15:44:50Z" } }, { "key": "I5XIUF2C", "version": 175, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/I5XIUF2C", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/I5XIUF2C", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/CK5S32HX", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "I5XIUF2C", "version": 175, "parentItem": "CK5S32HX", "itemType": "attachment", "linkMode": "imported_file", "title": "1983 Lamport-What good is temporal logic.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1983 Lamport-What good is temporal logic.pdf", "md5": "4f41d1dda3a110839ab53c37cee417e3", "mtime": 1389710559000, "tags": [], "relations": {}, "dateAdded": "2014-01-14T14:42:39Z", "dateModified": "2014-01-14T14:42:39Z" } }, { "key": "CK5S32HX", "version": 174, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/CK5S32HX", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/CK5S32HX", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Lamport", "parsedDate": "1983-09", "numChildren": 1 }, "data": { "key": "CK5S32HX", "version": 174, "itemType": "conferencePaper", "title": "What good is temporal logic ?", "creators": [ { "creatorType": "author", "firstName": "L.", "lastName": "Lamport" } ], "abstractNote": "", "proceedingsTitle": "Proc. Information Processing (IFIP'83)", "conferenceName": "", "publisher": "", "place": "", "date": "Sep. 1983", "eventPlace": "", "volume": "", "issue": "", "numberOfVolumes": "", "pages": "657–668", "series": "", "seriesNumber": "", "DOI": "", "ISBN": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "QNUH47NP" ], "relations": {}, "dateAdded": "2014-01-14T14:42:39Z", "dateModified": "2014-01-14T14:42:39Z" } }, { "key": "E4ZD28D8", "version": 173, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/E4ZD28D8", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/E4ZD28D8", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/UIA6VGUK", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "E4ZD28D8", "version": 173, "parentItem": "UIA6VGUK", "itemType": "attachment", "linkMode": "imported_file", "title": "1983 Lamport-Specifying Concurrent Program Modules.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1983 Lamport-Specifying Concurrent Program Modules.pdf", "md5": "3d9f093c5f24d509a47985ed61c1e6b9", "mtime": 1389618262000, "tags": [], "relations": {}, "dateAdded": "2014-01-13T13:04:22Z", "dateModified": "2014-01-13T13:04:22Z" } }, { "key": "UIA6VGUK", "version": 172, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/UIA6VGUK", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/UIA6VGUK", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Lamport", "parsedDate": "1983-04", "numChildren": 1 }, "data": { "key": "UIA6VGUK", "version": 172, "itemType": "journalArticle", "title": "Specifying Concurrent Program Modules", "creators": [ { "creatorType": "author", "firstName": "L.", "lastName": "Lamport" } ], "abstractNote": "", "publicationTitle": "ACM Trans. on Programming Languages and Systems (TOPLAS)", "publisher": "", "place": "", "date": "Apr. 1983", "volume": "5", "issue": "2", "section": "", "partNumber": "", "partTitle": "", "pages": "190–222", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "QNUH47NP" ], "relations": {}, "dateAdded": "2014-01-13T13:04:22Z", "dateModified": "2014-01-13T13:04:22Z" } }, { "key": "4FJ2ZPU9", "version": 171, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/4FJ2ZPU9", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/4FJ2ZPU9", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/PMQ4WCUQ", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "4FJ2ZPU9", "version": 171, "parentItem": "PMQ4WCUQ", "itemType": "attachment", "linkMode": "imported_file", "title": "1983 Clarke-Automatic Verification Of Finite State-1.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1983 Clarke-Automatic Verification Of Finite State-1.pdf", "md5": "765a8e4bf30406cc2f1ee4f634a98820", "mtime": 1387573719000, "tags": [], "relations": {}, "dateAdded": "2013-12-20T21:08:39Z", "dateModified": "2013-12-20T21:08:39Z" } }, { "key": "PMQ4WCUQ", "version": 170, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/PMQ4WCUQ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/PMQ4WCUQ", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Clarke et al.", "parsedDate": "1983-01", "numChildren": 1 }, "data": { "key": "PMQ4WCUQ", "version": 170, "itemType": "conferencePaper", "title": "Automatic Verification Of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach", "creators": [ { "creatorType": "author", "firstName": "E. M.", "lastName": "Clarke" }, { "creatorType": "author", "firstName": "E. A.", "lastName": "Emerson" }, { "creatorType": "author", "firstName": "A. P.", "lastName": "Sistla" } ], "abstractNote": "", "proceedingsTitle": "Proc. 10th ACM Symp. on Principles of Programming Languages (POPL 1983)", "conferenceName": "", "publisher": "", "place": "Austin, TX (USA)", "date": "Jan. 1983", "eventPlace": "", "volume": "", "issue": "", "numberOfVolumes": "", "pages": "117–126", "series": "", "seriesNumber": "", "DOI": "", "ISBN": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "QNUH47NP" ], "relations": {}, "dateAdded": "2013-12-20T21:08:39Z", "dateModified": "2013-12-20T21:08:39Z" } }, { "key": "S94KBBJH", "version": 169, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/S94KBBJH", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/S94KBBJH", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/VUCFDC4K", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "S94KBBJH", "version": 169, "parentItem": "VUCFDC4K", "itemType": "attachment", "linkMode": "imported_file", "title": "1983 Boehm-Seven basic principles of software.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1983 Boehm-Seven basic principles of software.pdf", "md5": "f420d05f2db26a1ef0e5a029a1ad1545", "mtime": 1387573672000, "tags": [], "relations": {}, "dateAdded": "2013-12-20T21:07:52Z", "dateModified": "2013-12-20T21:07:52Z" } }, { "key": "VUCFDC4K", "version": 168, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/VUCFDC4K", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/VUCFDC4K", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Boehm", "parsedDate": "1983", "numChildren": 1 }, "data": { "key": "VUCFDC4K", "version": 168, "itemType": "journalArticle", "title": "Seven Basic Principles of Software Engineering", "creators": [ { "creatorType": "author", "firstName": "B. W.", "lastName": "Boehm" } ], "abstractNote": "", "publicationTitle": "The Journal of Systems and Software", "publisher": "", "place": "", "date": "1983", "volume": "3", "issue": "1", "section": "", "partNumber": "", "partTitle": "", "pages": "3–24", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "CE74DXT5" ], "relations": {}, "dateAdded": "2013-12-20T21:07:52Z", "dateModified": "2013-12-20T21:07:52Z" } }, { "key": "2PA5S279", "version": 167, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/2PA5S279", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/2PA5S279", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/R8JBNZBP", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "2PA5S279", "version": 167, "parentItem": "R8JBNZBP", "itemType": "attachment", "linkMode": "imported_file", "title": "1983 Allen-Maintaining Knowledge about Temporal Intervals.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1983 Allen-Maintaining Knowledge about Temporal Intervals.pdf", "md5": "3980a96eae532e1c3b8b43983878da2e", "mtime": 1387573616000, "tags": [], "relations": {}, "dateAdded": "2013-12-20T21:06:56Z", "dateModified": "2013-12-20T21:06:56Z" } }, { "key": "R8JBNZBP", "version": 166, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/R8JBNZBP", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/R8JBNZBP", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Allen", "parsedDate": "1983-11", "numChildren": 1 }, "data": { "key": "R8JBNZBP", "version": 166, "itemType": "journalArticle", "title": "Maintaining Knowledge about Temporal Intervals", "creators": [ { "creatorType": "author", "firstName": "J. F.", "lastName": "Allen" } ], "abstractNote": "", "publicationTitle": "Communications of the ACM", "publisher": "", "place": "", "date": "Nov. 1983", "volume": "26", "issue": "11", "section": "", "partNumber": "", "partTitle": "", "pages": "832–843", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "CE74DXT5" ], "relations": {}, "dateAdded": "2013-12-20T21:06:56Z", "dateModified": "2013-12-20T21:06:56Z" } }, { "key": "QAMSI7AP", "version": 165, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/QAMSI7AP", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/QAMSI7AP", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/DIA9XBG2", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "QAMSI7AP", "version": 165, "parentItem": "DIA9XBG2", "itemType": "attachment", "linkMode": "imported_file", "title": "1982 Owicki-Proving Liveness Properties of Concurrent-1.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1982 Owicki-Proving Liveness Properties of Concurrent-1.pdf", "md5": "92f56db604d3568bde10bcf77015b6b4", "mtime": 1387573409000, "tags": [], "relations": {}, "dateAdded": "2013-12-20T21:03:29Z", "dateModified": "2013-12-20T21:03:29Z" } }, { "key": "DIA9XBG2", "version": 164, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/DIA9XBG2", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/DIA9XBG2", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Owicki and Lamport", "parsedDate": "1982-07", "numChildren": 1 }, "data": { "key": "DIA9XBG2", "version": 164, "itemType": "journalArticle", "title": "Proving Liveness Properties of Concurrent Programs", "creators": [ { "creatorType": "author", "firstName": "S.", "lastName": "Owicki" }, { "creatorType": "author", "firstName": "L.", "lastName": "Lamport" } ], "abstractNote": "", "publicationTitle": "ACM Trans. on Programming Languages and Systems (TOPLAS)", "publisher": "", "place": "", "date": "July 1982", "volume": "4", "issue": "3", "section": "", "partNumber": "", "partTitle": "", "pages": "455–495", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "QNUH47NP" ], "relations": {}, "dateAdded": "2013-12-20T21:03:29Z", "dateModified": "2013-12-20T21:03:29Z" } }, { "key": "EWEFQSVB", "version": 163, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/EWEFQSVB", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/EWEFQSVB", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/6ZJT3TS5", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "EWEFQSVB", "version": 163, "parentItem": "6ZJT3TS5", "itemType": "attachment", "linkMode": "imported_file", "title": "1982 Lamport-The Byzantine Generals Problem.pdf", "accessDate": "", "url": "", "note": "", "contentType": "application/pdf", "charset": "", "filename": "1982 Lamport-The Byzantine Generals Problem.pdf", "md5": "9c3f09d3e528b482914c6784d5b8f1e7", "mtime": 1387573359000, "tags": [], "relations": {}, "dateAdded": "2013-12-20T21:02:39Z", "dateModified": "2013-12-20T21:02:39Z" } }, { "key": "6ZJT3TS5", "version": 162, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/6ZJT3TS5", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/6ZJT3TS5", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Lamport et al.", "parsedDate": "1982-07", "numChildren": 1 }, "data": { "key": "6ZJT3TS5", "version": 162, "itemType": "journalArticle", "title": "The Byzantine Generals Problem", "creators": [ { "creatorType": "author", "firstName": "L.", "lastName": "Lamport" }, { "creatorType": "author", "firstName": "R.", "lastName": "Shostak" }, { "creatorType": "author", "firstName": "M.", "lastName": "Pease" } ], "abstractNote": "", "publicationTitle": "ACM Trans. on Programming Languages and Systems (TOPLAS)", "publisher": "", "place": "", "date": "July 1982", "volume": "4", "issue": "3", "section": "", "partNumber": "", "partTitle": "", "pages": "382–401", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "CE74DXT5" ], "relations": {}, "dateAdded": "2013-12-20T21:02:39Z", "dateModified": "2013-12-20T21:02:39Z" } }, { "key": "2ERMQSV5", "version": 161, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/2ERMQSV5", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/2ERMQSV5", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Peterson", "parsedDate": "1981", "numChildren": 0 }, "data": { "key": "2ERMQSV5", "version": 161, "itemType": "book", "title": "Petri Net Theory and the Modelling of Systems", "creators": [ { "creatorType": "author", "firstName": "J. L.", "lastName": "Peterson" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "1981", "publisher": "Prentice-Hall", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "", "ISBN": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "V5NR7XK3" ], "relations": {}, "dateAdded": "2013-12-20T20:51:15Z", "dateModified": "2013-12-20T20:51:15Z" } }, { "key": "94PD58KC", "version": 160, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/94PD58KC", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/94PD58KC", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/7NBAGZUS", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "94PD58KC", "version": 160, "parentItem": "7NBAGZUS", "itemType": "attachment", "linkMode": "imported_url", "title": "[PDF] à partir de warwick.ac.uk", "accessDate": "2013-12-20T20:48:22Z", "url": "http://eprints.dcs.warwick.ac.uk/1158/1/cs-rr-035.pdf", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Park - 1981 - Concurrency and automata on infinite sequences.pdf", "md5": "1346a39f0b3f9fc793c2f01fb26e7518", "mtime": 1387572595000, "tags": [], "relations": {}, "dateAdded": "2013-12-20T20:49:55Z", "dateModified": "2013-12-20T20:49:55Z" } }, { "key": "7NBAGZUS", "version": 159, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/7NBAGZUS", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/7NBAGZUS", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Park", "parsedDate": "1981", "numChildren": 1 }, "data": { "key": "7NBAGZUS", "version": 159, "itemType": "book", "title": "Concurrency and automata on infinite sequences", "creators": [ { "creatorType": "author", "firstName": "David", "lastName": "Park" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "1981", "publisher": "Springer", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "", "ISBN": "", "DOI": "", "citationKey": "", "url": "http://link.springer.com/chapter/10.1007/BFb0017309", "accessDate": "2013-12-20T20:48:22Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "Google Scholar", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "IMQ6I2K4" ], "relations": {}, "dateAdded": "2013-12-20T20:49:55Z", "dateModified": "2013-12-20T20:49:55Z" } }, { "key": "GSGZD9E6", "version": 158, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/GSGZD9E6", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/GSGZD9E6", "type": "text/html" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "creatorSummary": "Laprie", "parsedDate": "1981", "numChildren": 0 }, "data": { "key": "GSGZD9E6", "version": 158, "itemType": "book", "title": "Fault Tolerance : Principle and Practice", "creators": [ { "creatorType": "author", "firstName": "J. C.", "lastName": "Laprie" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "1981", "publisher": "Prentice-Hall", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "", "ISBN": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "HAWC69ZE" ], "relations": {}, "dateAdded": "2013-12-20T20:46:05Z", "dateModified": "2013-12-20T20:46:05Z" } }, { "key": "89KHFK6J", "version": 157, "library": { "type": "group", "id": 238002, "name": "REAL_TIME", "links": { "alternate": { "href": "https://www.zotero.org/groups/real_time", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/238002/items/89KHFK6J", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/real_time/items/89KHFK6J", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/238002/items/W8MXITC4", "type": "application/json" } }, "meta": { "createdByUser": { "id": 1725370, "username": "TEMPS_REEL", "name": "Jean-Pierre ELLOY", "links": { "alternate": { "href": "https://www.zotero.org/temps_reel", "type": "text/html" } } }, "numChildren": 0 }, "data": { "key": "89KHFK6J", "version": 157, "parentItem": "W8MXITC4", "itemType": "attachment", "linkMode": "imported_url", "title": "[PDF] à partir de cornell.edu", "accessDate": "2013-12-20T20:37:27Z", "url": "http://www.cs.cornell.edu/courses/CS5860/2011fa/documents/Gries-WhyUseLogic-Aug25.pdf", "note": "", "contentType": "application/pdf", "charset": "", "filename": "Gries - 1981 - The science of programming.pdf", "md5": "96dfca57f4eabc7fe3fb99c71a7b19dd", "mtime": 1387572289000, "tags": [], "relations": {}, "dateAdded": "2013-12-20T20:44:49Z", "dateModified": "2013-12-20T20:44:49Z" } } ]