Stirling, Colin - University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.


Home		Set as Homepage		Add to Favorite		Contact

27 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Computers » Computer Science » People » S	UPDATE INFO \| REPORT BROKEN LINK
Stirling, Colin	Popularity: Hit: 36

Details:

	University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties. Sponsored Links:
URL:	http://www.dcs.ed.ac.uk/~cps/
Title:	Research Papers
Description:	Computers, Computer Science, People, S - Stirling, Colin. University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
Specialized in:

Snodgrass, Richard T. (Popularity:

): University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development ...
Simon, Janos (Popularity:

): University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired ...
Smits, Brian (Popularity:

): University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.
Stevens, Rick (Popularity:

): Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.
Sannella, Donald (Popularity:

): University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Simpson, Alexander (Popularity:

): University of Edinburgh - Category theory, domain theory, logic, type theory.
Stark, Ian (Popularity:

): University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
Steedman, Mark (Popularity:

): University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.
Sammut, Claude (Popularity:

): University of New South Wales - Machine learning, logic programming, and knowledge based systems.
Sowmya, Arcot (Popularity:

): University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI ...

Popular Sites

Stantchev, Vladimir and Lubomira (Popularity:

): Humboldt University, Berlin.
Sannella, Donald (Popularity:

): University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development ...
Shyamasundar, R. K. (Popularity:

): Tata Institute of Fundamental Research, Mumbai - Real-Time and Reactive Programming, Logic Programming, Pi-Calculus and Mobile Computing, Parallel Programs, Programming ...
Schreiner, Wolfgang (Popularity:

): Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic ...

Related Press

BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity:

): Gives BMO exclusive rights to issue Diners Club cards in North America; clients will benefit from worldwide acceptance and ability ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity:

): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
CUNA/CFA 10th Annual Survey of Consumer Holiday Spending Attitudes, Plus Spending Tips (Popularity:

): Consumers plan to spend more during the holidays this year than during the depths of the recession a year ago, ...
Amid the Flu Epidemic, Don't Forget RSV in Young Children (Popularity:

): Influenza, particularly H1N1, has understandably captured the attention of public health officials, the media and the public. However, an analysis ...
BJ Services Reports Fourth Fiscal Quarter Net Loss From Continuing Operations of $0.01 per Diluted Share (Popularity:

): BJ Services Company (NYSE: BJS; PCX; CBOE) today reported a net loss from continuing operations of $2.8 million, or $(0.01) ...

Related Articles

Time Travel Exotica (Popularity:

): Travel and time, they go together. When you travel you take time, whether for business or pleasure or both there ...
Best Manufacturer of Ayurvedic and Herbal Medicines (Popularity:

): At PADMAVATI we commit to make nature�s best and precious life sustaining herbal medicines to heal body problems. Our Research ...
Interval Training and Super Set Training For Fat Loss (Popularity:

): Losing weight can be a difficult challenge for a lot of people. Weight loss is something that should not be ...
Psychological Strategies to Overcome Diabetes Depression (Popularity:

): 1. Take Notice of Your Thoughts Becoming aware of your thinking styles and the thoughts that you regularly have are an ...
Floor Lamps Provide You With Options of Adjusting Your Room's Illumination (Popularity:

): Though there are many different types of lighting options available to you, few of them provide the flexibility and illumination ...