Conference
View in EDS

Verification of JavaSpaces/spl trade/ parallel programs

Bibliographic Details
Title: Verification of JavaSpaces/spl trade/ parallel programs
Authors: van de Pol, J., Espada, M.V.
Source: Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. Application of concurrency to system design Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on. :196-205 2003
Relation: International Conference on Application of Concurrency to System Design (ACSD'2003)
Database: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.1207714
RelevancyScore: 952
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 952.014282226563
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Verification of JavaSpaces/spl trade/ parallel programs
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22van+de+Pol%2C+J%2E%22">van de Pol, J.</searchLink><br /><searchLink fieldCode="AR" term="%22Espada%2C+M%2EV%2E%22">Espada, M.V.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. Application of concurrency to system design Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on. :196-205 2003
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: International Conference on Application of Concurrency to System Design (ACSD'2003)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.1207714
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/CSD.2003.1207714
    PhysicalDescription:
      Pagination:
        PageCount: 10
        StartPage: 196
    Titles:
      – TitleFull: Verification of JavaSpaces/spl trade/ parallel programs
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: van de Pol, J.
      – PersonEntity:
          Name:
            NameFull: Espada, M.V.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2003
          Identifiers:
            – Type: isbn-print
              Value: 0769518877
            – Type: isbn-print
              Value: 9780769518879
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: Third International Conference on Application of Concurrency to System Design, 2003. Proceedings., Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on, Application of concurrency to system design
              Type: main
ResultId 1