Evaluation of Parallel System using Process Algebra Article Swipe
Ankur Mittal
,
Rajarshi Mahapatra
·
YOU?
·
· 2019
· Open Access
·
· DOI: https://doi.org/10.35940/ijitee.i1034.0789s219
YOU?
·
· 2019
· Open Access
·
· DOI: https://doi.org/10.35940/ijitee.i1034.0789s219
In this paper we discuss method for efficiency testing of a concurrent processes execution system. We use the concept of process algebra, it is an algebraic technique for the study of execution of parallel processes. Mathematical language is use for building models of computing system which make records about the execution of the procedure. We use PEPA tool, TAPA tool for making model. These tools provide formal explanation of computing system models. The execution related data about the system will be use to check the execution efficiency of the procedure. Here we use concept of markov chain analysis for execution of the concurrent processes.
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.35940/ijitee.i1034.0789s219
- https://doi.org/10.35940/ijitee.i1034.0789s219
- OA Status
- diamond
- Cited By
- 1
- References
- 6
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4244224278
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4244224278Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.35940/ijitee.i1034.0789s219Digital Object Identifier
- Title
-
Evaluation of Parallel System using Process AlgebraWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2019Year of publication
- Publication date
-
2019-08-31Full publication date if available
- Authors
-
Ankur Mittal, Rajarshi MahapatraList of authors in order
- Landing page
-
https://doi.org/10.35940/ijitee.i1034.0789s219Publisher landing page
- PDF URL
-
https://doi.org/10.35940/ijitee.i1034.0789s219Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
diamondOpen access status per OpenAlex
- OA URL
-
https://doi.org/10.35940/ijitee.i1034.0789s219Direct OA link when available
- Concepts
-
Computer science, Process calculus, Process (computing), Programming language, Communicating sequential processes, Execution model, Theoretical computer science, Algebraic number, Parallel computing, Semantics (computer science), Mathematics, Operational semantics, Mathematical analysisTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
1Total citation count in OpenAlex
- Citations by year (recent)
-
2022: 1Per-year citation counts (last 5 years)
- References (count)
-
6Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4244224278 |
|---|---|
| doi | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| ids.doi | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| ids.openalex | https://openalex.org/W4244224278 |
| fwci | 0.15361775 |
| type | article |
| title | Evaluation of Parallel System using Process Algebra |
| biblio.issue | 9S2 |
| biblio.volume | 8 |
| biblio.last_page | 182 |
| biblio.first_page | 177 |
| topics[0].id | https://openalex.org/T13062 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9416000247001648 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Cognitive Computing and Networks |
| topics[1].id | https://openalex.org/T10904 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9311000108718872 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1708 |
| topics[1].subfield.display_name | Hardware and Architecture |
| topics[1].display_name | Embedded Systems Design Techniques |
| topics[2].id | https://openalex.org/T10772 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9036999940872192 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1705 |
| topics[2].subfield.display_name | Computer Networks and Communications |
| topics[2].display_name | Distributed systems and fault tolerance |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C41008148 |
| concepts[0].level | 0 |
| concepts[0].score | 0.8086555004119873 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[0].display_name | Computer science |
| concepts[1].id | https://openalex.org/C161771561 |
| concepts[1].level | 2 |
| concepts[1].score | 0.8046290874481201 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q1970286 |
| concepts[1].display_name | Process calculus |
| concepts[2].id | https://openalex.org/C98045186 |
| concepts[2].level | 2 |
| concepts[2].score | 0.5754607915878296 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q205663 |
| concepts[2].display_name | Process (computing) |
| concepts[3].id | https://openalex.org/C199360897 |
| concepts[3].level | 1 |
| concepts[3].score | 0.5283982157707214 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[3].display_name | Programming language |
| concepts[4].id | https://openalex.org/C155214134 |
| concepts[4].level | 4 |
| concepts[4].score | 0.4596422016620636 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q1120460 |
| concepts[4].display_name | Communicating sequential processes |
| concepts[5].id | https://openalex.org/C2776834041 |
| concepts[5].level | 2 |
| concepts[5].score | 0.44768738746643066 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q25346349 |
| concepts[5].display_name | Execution model |
| concepts[6].id | https://openalex.org/C80444323 |
| concepts[6].level | 1 |
| concepts[6].score | 0.42259421944618225 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[6].display_name | Theoretical computer science |
| concepts[7].id | https://openalex.org/C9376300 |
| concepts[7].level | 2 |
| concepts[7].score | 0.42090269923210144 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q168817 |
| concepts[7].display_name | Algebraic number |
| concepts[8].id | https://openalex.org/C173608175 |
| concepts[8].level | 1 |
| concepts[8].score | 0.3217448592185974 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q232661 |
| concepts[8].display_name | Parallel computing |
| concepts[9].id | https://openalex.org/C184337299 |
| concepts[9].level | 2 |
| concepts[9].score | 0.12790080904960632 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q1437428 |
| concepts[9].display_name | Semantics (computer science) |
| concepts[10].id | https://openalex.org/C33923547 |
| concepts[10].level | 0 |
| concepts[10].score | 0.09890416264533997 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[10].display_name | Mathematics |
| concepts[11].id | https://openalex.org/C156325763 |
| concepts[11].level | 3 |
| concepts[11].score | 0.06896999478340149 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q1930895 |
| concepts[11].display_name | Operational semantics |
| concepts[12].id | https://openalex.org/C134306372 |
| concepts[12].level | 1 |
| concepts[12].score | 0.0 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q7754 |
| concepts[12].display_name | Mathematical analysis |
| keywords[0].id | https://openalex.org/keywords/computer-science |
| keywords[0].score | 0.8086555004119873 |
| keywords[0].display_name | Computer science |
| keywords[1].id | https://openalex.org/keywords/process-calculus |
| keywords[1].score | 0.8046290874481201 |
| keywords[1].display_name | Process calculus |
| keywords[2].id | https://openalex.org/keywords/process |
| keywords[2].score | 0.5754607915878296 |
| keywords[2].display_name | Process (computing) |
| keywords[3].id | https://openalex.org/keywords/programming-language |
| keywords[3].score | 0.5283982157707214 |
| keywords[3].display_name | Programming language |
| keywords[4].id | https://openalex.org/keywords/communicating-sequential-processes |
| keywords[4].score | 0.4596422016620636 |
| keywords[4].display_name | Communicating sequential processes |
| keywords[5].id | https://openalex.org/keywords/execution-model |
| keywords[5].score | 0.44768738746643066 |
| keywords[5].display_name | Execution model |
| keywords[6].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[6].score | 0.42259421944618225 |
| keywords[6].display_name | Theoretical computer science |
| keywords[7].id | https://openalex.org/keywords/algebraic-number |
| keywords[7].score | 0.42090269923210144 |
| keywords[7].display_name | Algebraic number |
| keywords[8].id | https://openalex.org/keywords/parallel-computing |
| keywords[8].score | 0.3217448592185974 |
| keywords[8].display_name | Parallel computing |
| keywords[9].id | https://openalex.org/keywords/semantics |
| keywords[9].score | 0.12790080904960632 |
| keywords[9].display_name | Semantics (computer science) |
| keywords[10].id | https://openalex.org/keywords/mathematics |
| keywords[10].score | 0.09890416264533997 |
| keywords[10].display_name | Mathematics |
| keywords[11].id | https://openalex.org/keywords/operational-semantics |
| keywords[11].score | 0.06896999478340149 |
| keywords[11].display_name | Operational semantics |
| language | en |
| locations[0].id | doi:10.35940/ijitee.i1034.0789s219 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4210202658 |
| locations[0].source.issn | 2278-3075 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | 2278-3075 |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | International Journal of Innovative Technology and Exploring Engineering |
| locations[0].source.host_organization | https://openalex.org/P4364118893 |
| locations[0].source.host_organization_name | Blue Eyes Intelligence Engineering and Sciences Publication |
| locations[0].source.host_organization_lineage | https://openalex.org/P4364118893 |
| locations[0].source.host_organization_lineage_names | Blue Eyes Intelligence Engineering and Sciences Publication |
| locations[0].license | |
| locations[0].pdf_url | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | International Journal of Innovative Technology and Exploring Engineering |
| locations[0].landing_page_url | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A5047116591 |
| authorships[0].author.orcid | |
| authorships[0].author.display_name | Ankur Mittal |
| authorships[0].countries | IN |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I191247993 |
| authorships[0].affiliations[0].raw_affiliation_string | Computer Science And Engineering, Meerut Institute Of Technology, Meerut, Uttar Pradesh, India. |
| authorships[0].institutions[0].id | https://openalex.org/I191247993 |
| authorships[0].institutions[0].ror | https://ror.org/02z2sk479 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I191247993 |
| authorships[0].institutions[0].country_code | IN |
| authorships[0].institutions[0].display_name | Shobhit University |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Ankur Mittal |
| authorships[0].is_corresponding | True |
| authorships[0].raw_affiliation_strings | Computer Science And Engineering, Meerut Institute Of Technology, Meerut, Uttar Pradesh, India. |
| authorships[1].author.id | https://openalex.org/A5076611650 |
| authorships[1].author.orcid | https://orcid.org/0000-0003-0155-0218 |
| authorships[1].author.display_name | Rajarshi Mahapatra |
| authorships[1].countries | IN |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I145286018 |
| authorships[1].affiliations[0].raw_affiliation_string | Computer Science And Engineering , SRM Institute of Science and Technology, NCR, Ghaziabad, Uttar Pradesh, India |
| authorships[1].institutions[0].id | https://openalex.org/I145286018 |
| authorships[1].institutions[0].ror | https://ror.org/050113w36 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I145286018 |
| authorships[1].institutions[0].country_code | IN |
| authorships[1].institutions[0].display_name | SRM Institute of Science and Technology |
| authorships[1].author_position | last |
| authorships[1].raw_author_name | R Mahapatra |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Computer Science And Engineering , SRM Institute of Science and Technology, NCR, Ghaziabad, Uttar Pradesh, India |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| open_access.oa_status | diamond |
| open_access.any_repository_has_fulltext | False |
| created_date | 2022-05-12T00:00:00 |
| display_name | Evaluation of Parallel System using Process Algebra |
| has_fulltext | True |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T13062 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9416000247001648 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Cognitive Computing and Networks |
| related_works | https://openalex.org/W180393508, https://openalex.org/W2048634445, https://openalex.org/W1600257749, https://openalex.org/W3092708771, https://openalex.org/W22766579, https://openalex.org/W1486715193, https://openalex.org/W2968111836, https://openalex.org/W2140312540, https://openalex.org/W2104951730, https://openalex.org/W2020116537 |
| cited_by_count | 1 |
| counts_by_year[0].year | 2022 |
| counts_by_year[0].cited_by_count | 1 |
| locations_count | 1 |
| best_oa_location.id | doi:10.35940/ijitee.i1034.0789s219 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4210202658 |
| best_oa_location.source.issn | 2278-3075 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | 2278-3075 |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | International Journal of Innovative Technology and Exploring Engineering |
| best_oa_location.source.host_organization | https://openalex.org/P4364118893 |
| best_oa_location.source.host_organization_name | Blue Eyes Intelligence Engineering and Sciences Publication |
| best_oa_location.source.host_organization_lineage | https://openalex.org/P4364118893 |
| best_oa_location.source.host_organization_lineage_names | Blue Eyes Intelligence Engineering and Sciences Publication |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | International Journal of Innovative Technology and Exploring Engineering |
| best_oa_location.landing_page_url | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| primary_location.id | doi:10.35940/ijitee.i1034.0789s219 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4210202658 |
| primary_location.source.issn | 2278-3075 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | 2278-3075 |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | International Journal of Innovative Technology and Exploring Engineering |
| primary_location.source.host_organization | https://openalex.org/P4364118893 |
| primary_location.source.host_organization_name | Blue Eyes Intelligence Engineering and Sciences Publication |
| primary_location.source.host_organization_lineage | https://openalex.org/P4364118893 |
| primary_location.source.host_organization_lineage_names | Blue Eyes Intelligence Engineering and Sciences Publication |
| primary_location.license | |
| primary_location.pdf_url | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | International Journal of Innovative Technology and Exploring Engineering |
| primary_location.landing_page_url | https://doi.org/10.35940/ijitee.i1034.0789s219 |
| publication_date | 2019-08-31 |
| publication_year | 2019 |
| referenced_works | https://openalex.org/W2021089599, https://openalex.org/W2075456280, https://openalex.org/W2171498329, https://openalex.org/W258022877, https://openalex.org/W2137865376, https://openalex.org/W4210827858 |
| referenced_works_count | 6 |
| abstract_inverted_index.a | 10 |
| abstract_inverted_index.In | 0 |
| abstract_inverted_index.We | 15, 54 |
| abstract_inverted_index.an | 24 |
| abstract_inverted_index.be | 80 |
| abstract_inverted_index.is | 23, 37 |
| abstract_inverted_index.it | 22 |
| abstract_inverted_index.of | 9, 19, 30, 32, 42, 51, 68, 87, 94, 100 |
| abstract_inverted_index.to | 82 |
| abstract_inverted_index.we | 3, 91 |
| abstract_inverted_index.The | 72 |
| abstract_inverted_index.for | 6, 27, 39, 60, 98 |
| abstract_inverted_index.the | 17, 28, 49, 52, 77, 84, 88, 101 |
| abstract_inverted_index.use | 16, 38, 55, 81, 92 |
| abstract_inverted_index.Here | 90 |
| abstract_inverted_index.PEPA | 56 |
| abstract_inverted_index.TAPA | 58 |
| abstract_inverted_index.data | 75 |
| abstract_inverted_index.make | 46 |
| abstract_inverted_index.this | 1 |
| abstract_inverted_index.tool | 59 |
| abstract_inverted_index.will | 79 |
| abstract_inverted_index.These | 63 |
| abstract_inverted_index.about | 48, 76 |
| abstract_inverted_index.chain | 96 |
| abstract_inverted_index.check | 83 |
| abstract_inverted_index.paper | 2 |
| abstract_inverted_index.study | 29 |
| abstract_inverted_index.tool, | 57 |
| abstract_inverted_index.tools | 64 |
| abstract_inverted_index.which | 45 |
| abstract_inverted_index.formal | 66 |
| abstract_inverted_index.making | 61 |
| abstract_inverted_index.markov | 95 |
| abstract_inverted_index.method | 5 |
| abstract_inverted_index.model. | 62 |
| abstract_inverted_index.models | 41 |
| abstract_inverted_index.system | 44, 70, 78 |
| abstract_inverted_index.concept | 18, 93 |
| abstract_inverted_index.discuss | 4 |
| abstract_inverted_index.models. | 71 |
| abstract_inverted_index.process | 20 |
| abstract_inverted_index.provide | 65 |
| abstract_inverted_index.records | 47 |
| abstract_inverted_index.related | 74 |
| abstract_inverted_index.system. | 14 |
| abstract_inverted_index.testing | 8 |
| abstract_inverted_index.algebra, | 21 |
| abstract_inverted_index.analysis | 97 |
| abstract_inverted_index.building | 40 |
| abstract_inverted_index.language | 36 |
| abstract_inverted_index.parallel | 33 |
| abstract_inverted_index.algebraic | 25 |
| abstract_inverted_index.computing | 43, 69 |
| abstract_inverted_index.execution | 13, 31, 50, 73, 85, 99 |
| abstract_inverted_index.processes | 12 |
| abstract_inverted_index.technique | 26 |
| abstract_inverted_index.concurrent | 11, 102 |
| abstract_inverted_index.efficiency | 7, 86 |
| abstract_inverted_index.procedure. | 53, 89 |
| abstract_inverted_index.processes. | 34, 103 |
| abstract_inverted_index.explanation | 67 |
| abstract_inverted_index.Mathematical | 35 |
| cited_by_percentile_year.max | 94 |
| cited_by_percentile_year.min | 89 |
| corresponding_author_ids | https://openalex.org/A5047116591 |
| countries_distinct_count | 1 |
| institutions_distinct_count | 2 |
| corresponding_institution_ids | https://openalex.org/I191247993 |
| citation_normalized_percentile.value | 0.62923232 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |