{"id":"https://openalex.org/W1531723926","doi":"https://doi.org/10.1007/3-540-51803-7_33","title":"Abstract object types: A temporal perspective","display_name":"Abstract object types: A temporal perspective","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W1531723926","doi":"https://doi.org/10.1007/3-540-51803-7_33","mag":"1531723926"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-51803-7_33","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-51803-7_33","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5105822466","display_name":"Am\u0131\u0301lcar Sernadas","orcid":"https://orcid.org/0000-0001-7895-8436"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"A. Sernadas","raw_affiliation_strings":["Dep. Matem\u00e1tica, IST, 1096, Lisboa Codex, Portugal","Dep. Matem\u00e1tica, IST, Lisboa Codex, Portugal"],"affiliations":[{"raw_affiliation_string":"Dep. Matem\u00e1tica, IST, 1096, Lisboa Codex, Portugal","institution_ids":["https://openalex.org/I121345201"]},{"raw_affiliation_string":"Dep. Matem\u00e1tica, IST, Lisboa Codex, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113508420","display_name":"J.L. Fiadeiro","orcid":null},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"J. Fiadeiro","raw_affiliation_strings":["Dep. Matem\u00e1tica, IST, 1096, Lisboa Codex, Portugal","Dep. Matem\u00e1tica, IST, Lisboa Codex, Portugal"],"affiliations":[{"raw_affiliation_string":"Dep. Matem\u00e1tica, IST, 1096, Lisboa Codex, Portugal","institution_ids":["https://openalex.org/I121345201"]},{"raw_affiliation_string":"Dep. Matem\u00e1tica, IST, Lisboa Codex, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020274709","display_name":"Cristina Sernadas","orcid":"https://orcid.org/0000-0002-5510-3512"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"C. Sernadas","raw_affiliation_strings":["Dep. Matem\u00e1tica, IST, 1096, Lisboa Codex, Portugal","Dep. Matem\u00e1tica, IST, Lisboa Codex, Portugal"],"affiliations":[{"raw_affiliation_string":"Dep. Matem\u00e1tica, IST, 1096, Lisboa Codex, Portugal","institution_ids":["https://openalex.org/I121345201"]},{"raw_affiliation_string":"Dep. Matem\u00e1tica, IST, Lisboa Codex, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108787616","display_name":"Hans-Dieter Ehrich","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"H.-D. Ehrich","raw_affiliation_strings":["Inst. Informatik, TUB, PF 3329, 3300, Braunschweig, FRG","Inst. Informatik, TUB"],"affiliations":[{"raw_affiliation_string":"Inst. Informatik, TUB, PF 3329, 3300, Braunschweig, FRG","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Inst. Informatik, TUB","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5105822466"],"corresponding_institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":11.4034,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.98996656,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"324","last_page":"350"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8339136242866516},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.7471622228622437},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6472980380058289},{"id":"https://openalex.org/keywords/abstract-data-type","display_name":"Abstract data type","score":0.5894228219985962},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4545055031776428},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45323610305786133},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.4134332239627838},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3198676109313965}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8339136242866516},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.7471622228622437},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6472980380058289},{"id":"https://openalex.org/C175971053","wikidata":"https://www.wikidata.org/wiki/Q827335","display_name":"Abstract data type","level":2,"score":0.5894228219985962},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4545055031776428},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45323610305786133},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.4134332239627838},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3198676109313965},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/3-540-51803-7_33","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-51803-7_33","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:discovery.dundee.ac.uk:openaire_cris_publications/04867c83-1b1f-4508-a5be-7c989e98f6db","is_oa":false,"landing_page_url":"https://discovery.dundee.ac.uk/en/publications/04867c83-1b1f-4508-a5be-7c989e98f6db","pdf_url":null,"source":{"id":"https://openalex.org/S4306400523","display_name":"Discovery Research Portal (University of Dundee)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177639307","host_organization_name":"University of Dundee","host_organization_lineage":["https://openalex.org/I177639307"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sernadas, A, Fiadeiro, J, Sernadas, C & Ehrich, H D 1989, Abstract object types : A temporal perspective. in A Pnueli, B Banieqbal & H Barringer (eds), Temporal Logic in Specification, Proceedings. vol. 398, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 398 LNCS, Springer Verlag, Berlin, pp. 324-350, International Colloquium on Temporal Logic in Specification, 1987, Altrincham, United Kingdom, 8/04/87. https://doi.org/10.1007/3-540-51803-7_33","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:discovery.dundee.ac.uk:publications/04867c83-1b1f-4508-a5be-7c989e98f6db","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85032196421&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400523","display_name":"Discovery Research Portal (University of Dundee)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177639307","host_organization_name":"University of Dundee","host_organization_lineage":["https://openalex.org/I177639307"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sernadas, A, Fiadeiro, J, Sernadas, C & Ehrich, H D 1989, Abstract object types : A temporal perspective. in A Pnueli, B Banieqbal & H Barringer (eds), Temporal Logic in Specification, Proceedings. vol. 398, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 398 LNCS, Springer Verlag, Berlin, pp. 324-350, International Colloquium on Temporal Logic in Specification, 1987, Altrincham, United Kingdom, 8/04/87. https://doi.org/10.1007/3-540-51803-7_33","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W99326477","https://openalex.org/W119570465","https://openalex.org/W122164068","https://openalex.org/W1481262989","https://openalex.org/W1485522244","https://openalex.org/W1551791208","https://openalex.org/W1603788080","https://openalex.org/W1969368990","https://openalex.org/W1974304857","https://openalex.org/W2023808162","https://openalex.org/W2065817972","https://openalex.org/W2180713429","https://openalex.org/W3023369148","https://openalex.org/W3144368627","https://openalex.org/W3144889436","https://openalex.org/W4300128858","https://openalex.org/W6604987431","https://openalex.org/W6631934617"],"related_works":["https://openalex.org/W4244890543","https://openalex.org/W284220851","https://openalex.org/W2043468299","https://openalex.org/W1578809901","https://openalex.org/W2006410711","https://openalex.org/W1548358088","https://openalex.org/W2025566524","https://openalex.org/W2185600068","https://openalex.org/W1535598423","https://openalex.org/W2121645155"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}