eBook
View in EDS

Relating Maximality-based Semantics to Action Refinement in Process Algebras

Bibliographic Details
Title: Relating Maximality-based Semantics to Action Refinement in Process Algebras
Authors: Courtiat, J. P.Aff2, Saïdouni, D. E.Aff2
Contributors: Hogrefe, Dieter, editorAff1, Leue, Stefan, editorAff1
Source: Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques. :293-308
Database: Springer Nature eBooks
FullText Text:
  Availability: 0
Header DbId: edssjb
DbLabel: Springer Nature eBooks
An: edssjb.978.0.387.34878.0.24
RelevancyScore: 865
AccessLevel: 2
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 864.799560546875
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Relating Maximality-based Semantics to Action Refinement in Process Algebras
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Courtiat%2C+J%2E+P%2E%22">Courtiat, J. P.</searchLink><relatesTo>Aff2</relatesTo><br /><searchLink fieldCode="AR" term="%22Saïdouni%2C+D%2E+E%2E%22">Saïdouni, D. E.</searchLink><relatesTo>Aff2</relatesTo>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Hogrefe, Dieter, editor<relatesTo>Aff1</relatesTo><br />Leue, Stefan, editor<relatesTo>Aff1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques</i>. :293-308
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjb&AN=edssjb.978.0.387.34878.0.24
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-0-387-34878-0_24
    PhysicalDescription:
      Pagination:
        PageCount: 16
        StartPage: 293
    Titles:
      – TitleFull: Relating Maximality-based Semantics to Action Refinement in Process Algebras
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Courtiat, J. P.
      – PersonEntity:
          Name:
            NameFull: Saïdouni, D. E.
      – PersonEntity:
          Name:
            NameFull: Hogrefe, Dieter, editor
      – PersonEntity:
          Name:
            NameFull: Leue, Stefan, editor
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1995
          Identifiers:
            – Type: isbn-print
              Value: 9781504128810
            – Type: isbn-print
              Value: 9780387348780
          Titles:
            – TitleFull: Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques
              Type: main
ResultId 1