Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1007/978-1-...

Part of book or chapter of book . 1991 . Peer-reviewed

Data sources: Crossref

https://link.springer.com/10.1...

Other literature type

Data sources: Microsoft Academic Graph

Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Algebras and Formal Languages

Name: Algebras and Formal Languages
Creator: K. Tarnay
Keywords: 4. Education

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 01 Jan 1991 English Publisher:Springer US

Authors: K. Tarnay;

doi: 10.1007/978-1-4684-5778-0_6

Algebras and Formal Languages

- Summary
- Metrics

Abstract

ISO has developed two formal description techniques, LOTOS and ESTELLE, for communication purposes. Both are composed of a mathematical model and language elements. The LOTOS model is based on the Calculus of Communicating Systems (CCS). This section deals with the fundamental notions and basic elements of the CCS and gives an introduction to its syntax, semantics and algebraic structure. Finally an example demonstrates how the CCS can be used for protocol specification.

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Beta

SDGs Suggest

4. Education

Beta

SDGs:

4. Education,

Related to Research communities

Knowmad Institut

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!