AsmL Specification and Verification of Lamport s Bakery Algorithm
Saved in:
| Published in: | Journal of computing and information technology Vol. 13; no. 4; p. 313 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
2005
|
| ISSN: | 1330-1136, 1846-3908 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Author | Botin an, Matko |
|---|---|
| Author_xml | – sequence: 1 givenname: Matko surname: Botin an fullname: Botin an, Matko |
| BookMark | eNp1kM1LxDAQxYOs4Lru1XP-gdZJk6bJsS7qCgUPflzDNE01uv0g6WX_e1sVBMG5zPCDN7z3zsmqH3pHyCWDNBNaXVk_pRlAnoJIQZ-QNVNCJlyDWs0355AwxuUZ2cb4DvNwLaVga1KWsavo4-isb73FyQ89xb6hLy78gqGlFXbjECYa6TV-uHCk5eF1CH566y7IaYuH6LY_e0Oeb2-edvukeri735VVYtnsMMnaorHYiAad5DWrFTIttWQonEatHGABucQ6065Ws1UrZ1oXyCEHa5XmGyK-_9owxBhca-bMX_6mgP5gGJiliYWapQkDwsAiS__IxuA7DMf_BJ97UWKB |
| CitedBy_id | crossref_primary_10_1016_j_scico_2012_01_003 crossref_primary_10_1016_j_tcs_2011_01_030 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.2498/cit.2005.04.09 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1846-3908 |
| ExternalDocumentID | 10_2498_cit_2005_04_09 |
| GroupedDBID | .4S .DC 29B 29K 2WC 5GY 5VS 77I AAYXX ADMLS ALMA_UNASSIGNED_HOLDINGS ARCSS BAIFH BBTPI CITATION CS3 D-I DU5 E3Z EBS EDO EJD EN8 EOJEC GROUPED_DOAJ I-F IAO ICD IPNFZ ISR ITC IVC KQ8 KWQ MK~ ML~ M~E OBODZ OK1 OVT P2P PV9 RIG RZL TR2 TUS VP8 XH6 |
| ID | FETCH-LOGICAL-c1249-2f7dcad4dae63b1b8a196961a4e9a98e0a7056ab29eb8136c6a98b7a3050cc893 |
| ISSN | 1330-1136 |
| IngestDate | Sat Nov 29 04:13:43 EST 2025 Tue Nov 18 22:16:31 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c1249-2f7dcad4dae63b1b8a196961a4e9a98e0a7056ab29eb8136c6a98b7a3050cc893 |
| OpenAccessLink | http://cit.fer.hr/index.php/CIT/article/download/1585/1289 |
| ParticipantIDs | crossref_citationtrail_10_2498_cit_2005_04_09 crossref_primary_10_2498_cit_2005_04_09 |
| PublicationCentury | 2000 |
| PublicationDate | 2005-00-00 |
| PublicationDateYYYYMMDD | 2005-01-01 |
| PublicationDate_xml | – year: 2005 text: 2005-00-00 |
| PublicationDecade | 2000 |
| PublicationTitle | Journal of computing and information technology |
| PublicationYear | 2005 |
| SSID | ssj0000396641 |
| Score | 1.5713586 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 313 |
| Title | AsmL Specification and Verification of Lamport s Bakery Algorithm |
| Volume | 13 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 1846-3908 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000396641 issn: 1330-1136 databaseCode: M~E dateStart: 20000101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07T8MwELYqYGDhjXjLAxJDZeEmaWNPqEUghlIxFMRW2Y4LFW2C2oBg4bdztpM0BSrBwGJFF8ex_Vnnu7PvDqFj1WgEXHNNfKZCEtQEJVIoRTwW-ZxR2AGpdRRuh50Ou7_nN5XKWe4L8zoM45i9vfHnf4UaaAC2cZ39A9xFo0CAZwAdSoAdyl8B35yM2i6tfD-zx9kDgjv4d0GwBwMmJlVanVRb4kmP36vN4UMyHqSPoznyqrL5H3Kfxizgqm0t_WaebyVQsepsq9cifUpmjAv1Eif0fUpMwhe3UTgaCCvE55TNsE-_tEyCEi_03ZuvPBr0PeN3oAZpZtEygWanu1F-Av9lkyquDoLSYlrowfcmhWa9R4OeceBc9ELQjczdzY-pkQ3WGqxFp3Rnw3GBO00Tp7NdKAkmJQmju4ZWsqnGTQfpOqroeAOt5mk3cMaFN1HTIIxnEMYACS4jjJM-zhDGE-wQxgXCW-j28qJ7fkWyTBhEmeTgxOuHkRJREAnd8GVNMmGjGtVEoLngTFMRgiArpMe1ZDBI1QCqDAUwc6oUiKTbaCFOYr2DsBKUawWyS13Ug4gGMvLg4z5nXMpIhbVdRPJpMHNs-2yylQx7P8_8Ljop6j-7AClzau79uuY-WrYRcq2l6wAtpOMXfYiW1Gs6mIyPLMSfUwpdlA |
| linkProvider | ISSN International Centre |
| 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=AsmL+Specification+and+Verification+of+Lamport+s+Bakery+Algorithm&rft.jtitle=Journal+of+computing+and+information+technology&rft.au=Botin+an%2C+Matko&rft.date=2005&rft.issn=1330-1136&rft.eissn=1846-3908&rft.volume=13&rft.issue=4&rft.spage=313&rft_id=info:doi/10.2498%2Fcit.2005.04.09&rft.externalDBID=n%2Fa&rft.externalDocID=10_2498_cit_2005_04_09 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1330-1136&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1330-1136&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1330-1136&client=summon |