Matches in SemOpenAlex for { <https://semopenalex.org/work/W222705965> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W222705965 endingPage "259" @default.
- W222705965 startingPage "259" @default.
- W222705965 abstract "This volume contains the Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS '98). The Workshop was held in Lisbon, Portugal on March 28 and 29, 1998, as a satellite event to ETAPS '98. During the last decade, it has become increasingly clear that many state-based dynamical systems, such as transition systems, automata, and object-based systems, can be captured uniformly as coalgebras. Coalgebra is beginning to develop into a field of its own, with its own model theory and proof methods (involving bisimulations and invariants). The aim of this workshop is to bring together researchers with a common interest in the theory of coalgebra and its applications. We are very happy with both the number and the quality of the papers that were submitted, as well as with the fact that the Workshop has attracted many participants. The papers in this volume were reviewed by the organizers of the meeting. This series is published electronically through the facilities of Elsevier Science B.V. and under its auspices. A printed version of this volume is distributed to the participants of the Workshop. We are very grateful to the following persons, whose help has been crucial for the success of CMCS '98: Jose Fiardeiro, the organizer of ETAPS '98, for his help with the organization of the Workshop; Mike Mislove, one of the Managing Editors of the ENTCS series, for his assistence with the use of the ENTCS style files; and Jan Schipper, from the Facility Department of CWI, for his help in printing these Proceedings. Thanks are also due to the Department of Software Engineering (SEN) of the CWI, which has supplied financial support for the printing costs. 10 March 1998, Bart Jacobs, Larry Moss, Horst Reichel, Jan Rutten" @default.
- W222705965 created "2016-06-24" @default.
- W222705965 creator A5020225402 @default.
- W222705965 creator A5021447598 @default.
- W222705965 creator A5029469194 @default.
- W222705965 creator A5042359645 @default.
- W222705965 date "1998-01-01" @default.
- W222705965 modified "2023-10-16" @default.
- W222705965 title "Preface" @default.
- W222705965 doi "https://doi.org/10.1016/s1571-0661(05)80564-x" @default.
- W222705965 hasPublicationYear "1998" @default.
- W222705965 type Work @default.
- W222705965 sameAs 222705965 @default.
- W222705965 citedByCount "5" @default.
- W222705965 countsByYear W2227059652021 @default.
- W222705965 crossrefType "journal-article" @default.
- W222705965 hasAuthorship W222705965A5020225402 @default.
- W222705965 hasAuthorship W222705965A5021447598 @default.
- W222705965 hasAuthorship W222705965A5029469194 @default.
- W222705965 hasAuthorship W222705965A5042359645 @default.
- W222705965 hasBestOaLocation W2227059651 @default.
- W222705965 hasConcept C112505250 @default.
- W222705965 hasConcept C121332964 @default.
- W222705965 hasConcept C136119220 @default.
- W222705965 hasConcept C154945302 @default.
- W222705965 hasConcept C161191863 @default.
- W222705965 hasConcept C202444582 @default.
- W222705965 hasConcept C2778249326 @default.
- W222705965 hasConcept C2779662365 @default.
- W222705965 hasConcept C2781238097 @default.
- W222705965 hasConcept C33923547 @default.
- W222705965 hasConcept C41008148 @default.
- W222705965 hasConcept C42475967 @default.
- W222705965 hasConcept C62520636 @default.
- W222705965 hasConcept C9652623 @default.
- W222705965 hasConceptScore W222705965C112505250 @default.
- W222705965 hasConceptScore W222705965C121332964 @default.
- W222705965 hasConceptScore W222705965C136119220 @default.
- W222705965 hasConceptScore W222705965C154945302 @default.
- W222705965 hasConceptScore W222705965C161191863 @default.
- W222705965 hasConceptScore W222705965C202444582 @default.
- W222705965 hasConceptScore W222705965C2778249326 @default.
- W222705965 hasConceptScore W222705965C2779662365 @default.
- W222705965 hasConceptScore W222705965C2781238097 @default.
- W222705965 hasConceptScore W222705965C33923547 @default.
- W222705965 hasConceptScore W222705965C41008148 @default.
- W222705965 hasConceptScore W222705965C42475967 @default.
- W222705965 hasConceptScore W222705965C62520636 @default.
- W222705965 hasConceptScore W222705965C9652623 @default.
- W222705965 hasLocation W2227059651 @default.
- W222705965 hasOpenAccess W222705965 @default.
- W222705965 hasPrimaryLocation W2227059651 @default.
- W222705965 hasRelatedWork W1534000780 @default.
- W222705965 hasRelatedWork W153904579 @default.
- W222705965 hasRelatedWork W2017706948 @default.
- W222705965 hasRelatedWork W2062378604 @default.
- W222705965 hasRelatedWork W2135296302 @default.
- W222705965 hasRelatedWork W2330733397 @default.
- W222705965 hasRelatedWork W2368796975 @default.
- W222705965 hasRelatedWork W2390261592 @default.
- W222705965 hasRelatedWork W2785768241 @default.
- W222705965 hasRelatedWork W2602338684 @default.
- W222705965 hasVolume "11" @default.
- W222705965 isParatext "false" @default.
- W222705965 isRetracted "false" @default.
- W222705965 magId "222705965" @default.
- W222705965 workType "article" @default.