Stochastic process algebras : between LOTOS and Markov chains : Trends in formal description techniques

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Computer networks and ISDN systems 1998, Vol.30 (9-10), p.901-924
Hauptverfasser:	HERMANNS, H, HERZOG, U, MERTSIOTAKIS, V
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Exact sciences and technology Telecommunications Telecommunications and information theory Teleprocessing networks. Isdn Valuation and optimization of characteristics. Simulation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	924
container_issue	9-10
container_start_page	901
container_title	Computer networks and ISDN systems
container_volume	30
creator	HERMANNS, H HERZOG, U MERTSIOTAKIS, V
description
format	Article
fullrecord	<record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_2317098</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2317098</sourcerecordid><originalsourceid>FETCH-pascalfrancis_primary_23170983</originalsourceid><addsrcrecordid>eNqNy88OwUAQgPE9kPj7DnNwlWwJVVchDsRB783YTnVpd2tmEW-PxAM4fZff11JdHc2TcTybTTqqJ3LRWkdRnHTV-Ri8KVGCNdCwNyQCWJ3pxCiwhBOFJ5GD3SE9HAFdDnvkq3_A57HuK1ImlwtYB4XnGivISQzbJljvIJApnb3dSQaqXWAlNPy1r0abdbrajhsUg1XB6IyVrGFbI7-yyTSKdbKY_sne2CVIEw</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Stochastic process algebras : between LOTOS and Markov chains : Trends in formal description techniques</title><source>Alma/SFX Local Collection</source><creator>HERMANNS, H ; HERZOG, U ; MERTSIOTAKIS, V</creator><creatorcontrib>HERMANNS, H ; HERZOG, U ; MERTSIOTAKIS, V</creatorcontrib><identifier>ISSN: 0169-7552</identifier><identifier>CODEN: CNISE9</identifier><language>eng</language><publisher>Amsterdam: Elsevier Science</publisher><subject>Applied sciences ; Exact sciences and technology ; Telecommunications ; Telecommunications and information theory ; Teleprocessing networks. Isdn ; Valuation and optimization of characteristics. Simulation</subject><ispartof>Computer networks and ISDN systems, 1998, Vol.30 (9-10), p.901-924</ispartof><rights>1998 INIST-CNRS</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,4009</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=2317098$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>HERMANNS, H</creatorcontrib><creatorcontrib>HERZOG, U</creatorcontrib><creatorcontrib>MERTSIOTAKIS, V</creatorcontrib><title>Stochastic process algebras : between LOTOS and Markov chains : Trends in formal description techniques</title><title>Computer networks and ISDN systems</title><subject>Applied sciences</subject><subject>Exact sciences and technology</subject><subject>Telecommunications</subject><subject>Telecommunications and information theory</subject><subject>Teleprocessing networks. Isdn</subject><subject>Valuation and optimization of characteristics. Simulation</subject><issn>0169-7552</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1998</creationdate><recordtype>article</recordtype><recordid>eNqNy88OwUAQgPE9kPj7DnNwlWwJVVchDsRB783YTnVpd2tmEW-PxAM4fZff11JdHc2TcTybTTqqJ3LRWkdRnHTV-Ri8KVGCNdCwNyQCWJ3pxCiwhBOFJ5GD3SE9HAFdDnvkq3_A57HuK1ImlwtYB4XnGivISQzbJljvIJApnb3dSQaqXWAlNPy1r0abdbrajhsUg1XB6IyVrGFbI7-yyTSKdbKY_sne2CVIEw</recordid><startdate>1998</startdate><enddate>1998</enddate><creator>HERMANNS, H</creator><creator>HERZOG, U</creator><creator>MERTSIOTAKIS, V</creator><general>Elsevier Science</general><scope>IQODW</scope></search><sort><creationdate>1998</creationdate><title>Stochastic process algebras : between LOTOS and Markov chains : Trends in formal description techniques</title><author>HERMANNS, H ; HERZOG, U ; MERTSIOTAKIS, V</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-pascalfrancis_primary_23170983</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1998</creationdate><topic>Applied sciences</topic><topic>Exact sciences and technology</topic><topic>Telecommunications</topic><topic>Telecommunications and information theory</topic><topic>Teleprocessing networks. Isdn</topic><topic>Valuation and optimization of characteristics. Simulation</topic><toplevel>online_resources</toplevel><creatorcontrib>HERMANNS, H</creatorcontrib><creatorcontrib>HERZOG, U</creatorcontrib><creatorcontrib>MERTSIOTAKIS, V</creatorcontrib><collection>Pascal-Francis</collection><jtitle>Computer networks and ISDN systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>HERMANNS, H</au><au>HERZOG, U</au><au>MERTSIOTAKIS, V</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Stochastic process algebras : between LOTOS and Markov chains : Trends in formal description techniques</atitle><jtitle>Computer networks and ISDN systems</jtitle><date>1998</date><risdate>1998</risdate><volume>30</volume><issue>9-10</issue><spage>901</spage><epage>924</epage><pages>901-924</pages><issn>0169-7552</issn><coden>CNISE9</coden><cop>Amsterdam</cop><pub>Elsevier Science</pub></addata></record>
fulltext	fulltext
identifier	ISSN: 0169-7552
ispartof	Computer networks and ISDN systems, 1998, Vol.30 (9-10), p.901-924
issn	0169-7552
language	eng
recordid	cdi_pascalfrancis_primary_2317098
source	Alma/SFX Local Collection
subjects	Applied sciences Exact sciences and technology Telecommunications Telecommunications and information theory Teleprocessing networks. Isdn Valuation and optimization of characteristics. Simulation
title	Stochastic process algebras : between LOTOS and Markov chains : Trends in formal description techniques
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T02%3A06%3A23IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Stochastic%20process%20algebras%20:%20between%20LOTOS%20and%20Markov%20chains%20:%20Trends%20in%20formal%20description%20techniques&rft.jtitle=Computer%20networks%20and%20ISDN%20systems&rft.au=HERMANNS,%20H&rft.date=1998&rft.volume=30&rft.issue=9-10&rft.spage=901&rft.epage=924&rft.pages=901-924&rft.issn=0169-7552&rft.coden=CNISE9&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E2317098%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true